RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux sagari 3.2.0-68-powerpc64-smp #102-Ubuntu SMP Tue Aug 12 22:09:42 UTC 2014 ppc64 Buildd toolchain package versions: launchpad-buildd_126 python-lpbuildd_126 bzr_2.5.1-0ubuntu2 dpkg-dev_1.16.1.2ubuntu7.6. Syncing the system clock with the buildd NTP service... 5 Jun 09:14:37 ntpdate[24852]: adjust time server 10.211.37.1 offset 0.000016 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-7448546', '/home/buildd/filecache-default/c11a9ad9a9a7f8fd186ea187129a5fb922712bf7'] Unpacking chroot for build PACKAGEBUILD-7448546 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-7448546'] Mounting chroot for build PACKAGEBUILD-7448546 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-7448546', 'deb http://ftpmaster.internal/ubuntu wily main universe', 'deb http://ftpmaster.internal/ubuntu wily-security main universe', 'deb http://ftpmaster.internal/ubuntu wily-updates main universe', 'deb http://ftpmaster.internal/ubuntu wily-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-7448546 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-7448546', 'powerpc'] Updating debian chroot for build PACKAGEBUILD-7448546 Ign http://ftpmaster.internal wily InRelease Ign http://ftpmaster.internal wily-security InRelease Ign http://ftpmaster.internal wily-updates InRelease Ign http://ftpmaster.internal wily-proposed InRelease Get:1 http://ftpmaster.internal wily Release.gpg [933 B] Get:2 http://ftpmaster.internal wily-security Release.gpg [933 B] Get:3 http://ftpmaster.internal wily-updates Release.gpg [933 B] Get:4 http://ftpmaster.internal wily-proposed Release.gpg [933 B] Get:5 http://ftpmaster.internal wily Release [217 kB] Ign http://archive-team.internal wily InRelease Get:6 http://ftpmaster.internal wily-security Release [63.5 kB] Ign http://archive-team.internal wily Release.gpg Get:7 http://ftpmaster.internal wily-updates Release [63.5 kB] Get:8 http://ftpmaster.internal wily-proposed Release [63.5 kB] Get:9 http://ftpmaster.internal wily/main powerpc Packages [1354 kB] Get:10 http://archive-team.internal wily Release [740 B] Get:11 http://archive-team.internal wily/main powerpc Packages Ign http://archive-team.internal wily/main Translation-en Get:12 http://ftpmaster.internal wily/universe powerpc Packages [6396 kB] Get:13 http://ftpmaster.internal wily/main Translation-en [813 kB] Get:14 http://ftpmaster.internal wily/universe Translation-en [4494 kB] Get:15 http://ftpmaster.internal wily-security/main powerpc Packages [28 B] Get:16 http://ftpmaster.internal wily-security/universe powerpc Packages [28 B] Get:17 http://ftpmaster.internal wily-security/main Translation-en [28 B] Get:18 http://ftpmaster.internal wily-security/universe Translation-en [28 B] Get:19 http://ftpmaster.internal wily-updates/main powerpc Packages [28 B] Get:20 http://ftpmaster.internal wily-updates/universe powerpc Packages [28 B] Get:21 http://ftpmaster.internal wily-updates/main Translation-en [28 B] Get:22 http://ftpmaster.internal wily-updates/universe Translation-en [28 B] Get:23 http://ftpmaster.internal wily-proposed/main powerpc Packages [49.3 kB] Get:24 http://ftpmaster.internal wily-proposed/universe powerpc Packages [459 kB] Get:25 http://ftpmaster.internal wily-proposed/main Translation-en [24.3 kB] Get:26 http://ftpmaster.internal wily-proposed/universe Translation-en [233 kB] Fetched 14.2 MB in 5s (2400 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: adduser dmsetup init libapparmor1 libcap2-bin libcryptsetup4 libdevmapper1.02.1 libfdisk1 libkmod2 systemd systemd-sysv udev The following packages will be upgraded: apt apt-transport-https base-files bash binutils bsdutils bzip2 ca-certificates cpp-4.9 dash debianutils dpkg dpkg-dev g++-4.9 gcc-4.9 gcc-4.9-base gcc-5-base initscripts libapt-pkg4.12 libasan1 libasn1-8-heimdal libatomic1 libaudit-common libaudit1 libblkid1 libbz2-1.0 libcap2 libcloog-isl4 libcurl3-gnutls libdpkg-perl libgcc-4.9-dev libgcc1 libgcrypt20 libgnutls-deb0-28 libgomp1 libgssapi-krb5-2 libgssapi3-heimdal libhcrypto4-heimdal libheimbase1-heimdal libheimntlm0-heimdal libhx509-5-heimdal libisl13 libk5crypto3 libkrb5-26-heimdal libkrb5-3 libkrb5support0 libldap-2.4-2 libmount1 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libroken18-heimdal librtmp1 libsmartcols1 libsqlite3-0 libssl1.0.0 libstdc++-4.9-dev libstdc++6 libsystemd0 libtasn1-6 libubsan0 libudev1 libuuid1 libwind0-heimdal linux-libc-dev login mount openssl passwd patch perl perl-base perl-modules pkg-create-dbgsym sysv-rc sysvinit-utils tzdata util-linux 80 upgraded, 12 newly installed, 0 to remove and 0 not upgraded. Need to get 53.8 MB of archives. After this operation, 39.9 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ wily/main base-files powerpc 7.2ubuntu10 [68.1 kB] Get:2 http://ftpmaster.internal/ubuntu/ wily/main debianutils powerpc 4.5.1 [84.7 kB] Get:3 http://ftpmaster.internal/ubuntu/ wily/main bash powerpc 4.3-11ubuntu3 [525 kB] Get:4 http://ftpmaster.internal/ubuntu/ wily/main bsdutils powerpc 1:2.26.2-3ubuntu1 [49.5 kB] Get:5 http://ftpmaster.internal/ubuntu/ wily/main dpkg powerpc 1.17.25ubuntu1 [2191 kB] Get:6 http://ftpmaster.internal/ubuntu/ wily/main dash powerpc 0.5.7-4ubuntu2 [81.1 kB] Get:7 http://ftpmaster.internal/ubuntu/ wily/main libapparmor1 powerpc 2.9.2-0ubuntu1 [23.5 kB] Get:8 http://ftpmaster.internal/ubuntu/ wily/main libaudit-common all 1:2.3.7-1ubuntu2 [4176 B] Get:9 http://ftpmaster.internal/ubuntu/ wily/main libaudit1 powerpc 1:2.3.7-1ubuntu2 [33.0 kB] Get:10 http://ftpmaster.internal/ubuntu/ wily/main libpam0g powerpc 1.1.8-3.1ubuntu3 [55.1 kB] Get:11 http://ftpmaster.internal/ubuntu/ wily/main libpam-modules-bin powerpc 1.1.8-3.1ubuntu3 [33.1 kB] Get:12 http://ftpmaster.internal/ubuntu/ wily/main libpam-modules powerpc 1.1.8-3.1ubuntu3 [235 kB] Get:13 http://ftpmaster.internal/ubuntu/ wily/main passwd powerpc 1:4.1.5.1-1.1ubuntu5 [712 kB] Get:14 http://ftpmaster.internal/ubuntu/ wily/main libuuid1 powerpc 2.26.2-3ubuntu1 [17.3 kB] Get:15 http://ftpmaster.internal/ubuntu/ wily/main libblkid1 powerpc 2.26.2-3ubuntu1 [101 kB] Get:16 http://ftpmaster.internal/ubuntu/ wily/main libfdisk1 powerpc 2.26.2-3ubuntu1 [124 kB] Get:17 http://ftpmaster.internal/ubuntu/ wily/main mount powerpc 2.26.2-3ubuntu1 [120 kB] Get:18 http://ftpmaster.internal/ubuntu/ wily/main initscripts powerpc 2.88dsf-59.1ubuntu3 [25.3 kB] Get:19 http://ftpmaster.internal/ubuntu/ wily/main sysv-rc all 2.88dsf-59.1ubuntu3 [36.9 kB] Get:20 http://ftpmaster.internal/ubuntu/ wily/main sysvinit-utils powerpc 2.88dsf-59.1ubuntu3 [26.2 kB] Get:21 http://ftpmaster.internal/ubuntu/ wily/main util-linux powerpc 2.26.2-3ubuntu1 [726 kB] Get:22 http://ftpmaster.internal/ubuntu/ wily/main tzdata all 2015d-1 [183 kB] Get:23 http://ftpmaster.internal/ubuntu/ wily/main libdevmapper1.02.1 powerpc 2:1.02.90-2ubuntu1 [96.0 kB] Get:24 http://ftpmaster.internal/ubuntu/ wily/main dmsetup powerpc 2:1.02.90-2ubuntu1 [35.6 kB] Get:25 http://ftpmaster.internal/ubuntu/ wily/main libudev1 powerpc 219-10ubuntu1 [41.1 kB] Get:26 http://ftpmaster.internal/ubuntu/ wily/main libgcrypt20 powerpc 1.6.3-2ubuntu1 [301 kB] Get:27 http://ftpmaster.internal/ubuntu/ wily/main libcryptsetup4 powerpc 2:1.6.1-1ubuntu7 [63.6 kB] Get:28 http://ftpmaster.internal/ubuntu/ wily/main libkmod2 powerpc 18-3ubuntu1 [38.1 kB] Get:29 http://ftpmaster.internal/ubuntu/ wily/main libsystemd0 powerpc 219-10ubuntu1 [73.4 kB] Get:30 http://ftpmaster.internal/ubuntu/ wily/main perl powerpc 5.20.2-6 [2152 kB] Get:31 http://ftpmaster.internal/ubuntu/ wily/main perl-base powerpc 5.20.2-6 [1104 kB] Get:32 http://ftpmaster.internal/ubuntu/ wily/main perl-modules all 5.20.2-6 [2501 kB] Get:33 http://ftpmaster.internal/ubuntu/ wily/main bzip2 powerpc 1.0.6-8 [31.6 kB] Get:34 http://ftpmaster.internal/ubuntu/ wily/main libbz2-1.0 powerpc 1.0.6-8 [31.9 kB] Get:35 http://ftpmaster.internal/ubuntu/ wily/main adduser all 3.113+nmu3ubuntu3 [169 kB] Get:36 http://ftpmaster.internal/ubuntu/ wily/main udev powerpc 219-10ubuntu1 [891 kB] Get:37 http://ftpmaster.internal/ubuntu/ wily/main libcap2 powerpc 1:2.24-8 [12.6 kB] Get:38 http://ftpmaster.internal/ubuntu/ wily/main libcap2-bin powerpc 1:2.24-8 [19.7 kB] Get:39 http://ftpmaster.internal/ubuntu/ wily/main libmount1 powerpc 2.26.2-3ubuntu1 [101 kB] Get:40 http://ftpmaster.internal/ubuntu/ wily/main systemd powerpc 219-10ubuntu1 [2970 kB] Get:41 http://ftpmaster.internal/ubuntu/ wily/main systemd-sysv powerpc 219-10ubuntu1 [15.7 kB] Get:42 http://ftpmaster.internal/ubuntu/ wily/main init powerpc 1.23ubuntu3 [4104 B] Get:43 http://ftpmaster.internal/ubuntu/ wily/main login powerpc 1:4.1.5.1-1.1ubuntu5 [297 kB] Get:44 http://ftpmaster.internal/ubuntu/ wily/main gcc-5-base powerpc 5.1.1-9ubuntu2 [17.1 kB] Get:45 http://ftpmaster.internal/ubuntu/ wily/main libgcc1 powerpc 1:5.1.1-9ubuntu2 [27.3 kB] Get:46 http://ftpmaster.internal/ubuntu/ wily/main libstdc++6 powerpc 5.1.1-9ubuntu2 [316 kB] Get:47 http://ftpmaster.internal/ubuntu/ wily/main libapt-pkg4.12 powerpc 1.0.9.10ubuntu1 [628 kB] Get:48 http://ftpmaster.internal/ubuntu/ wily/main apt powerpc 1.0.9.10ubuntu1 [978 kB] Get:49 http://ftpmaster.internal/ubuntu/ wily/main libp11-kit0 powerpc 0.23.1-2 [85.1 kB] Get:50 http://ftpmaster.internal/ubuntu/ wily/main libssl1.0.0 powerpc 1.0.2a-1ubuntu1 [733 kB] Get:51 http://ftpmaster.internal/ubuntu/ wily-proposed/main libroken18-heimdal powerpc 1.6~rc2+dfsg-10 [38.9 kB] Get:52 http://ftpmaster.internal/ubuntu/ wily-proposed/main libasn1-8-heimdal powerpc 1.6~rc2+dfsg-10 [131 kB] Get:53 http://ftpmaster.internal/ubuntu/ wily/main libtasn1-6 powerpc 4.5-2 [39.3 kB] Get:54 http://ftpmaster.internal/ubuntu/ wily/main libgnutls-deb0-28 powerpc 3.3.15-2ubuntu1 [415 kB] Get:55 http://ftpmaster.internal/ubuntu/ wily/main libgssapi-krb5-2 powerpc 1.12.1+dfsg-20 [102 kB] Get:56 http://ftpmaster.internal/ubuntu/ wily/main libkrb5-3 powerpc 1.12.1+dfsg-20 [237 kB] Get:57 http://ftpmaster.internal/ubuntu/ wily/main libkrb5support0 powerpc 1.12.1+dfsg-20 [28.7 kB] Get:58 http://ftpmaster.internal/ubuntu/ wily/main libk5crypto3 powerpc 1.12.1+dfsg-20 [82.4 kB] Get:59 http://ftpmaster.internal/ubuntu/ wily-proposed/main libhcrypto4-heimdal powerpc 1.6~rc2+dfsg-10 [80.4 kB] Get:60 http://ftpmaster.internal/ubuntu/ wily-proposed/main libheimbase1-heimdal powerpc 1.6~rc2+dfsg-10 [27.0 kB] Get:61 http://ftpmaster.internal/ubuntu/ wily-proposed/main libwind0-heimdal powerpc 1.6~rc2+dfsg-10 [47.1 kB] Get:62 http://ftpmaster.internal/ubuntu/ wily-proposed/main libhx509-5-heimdal powerpc 1.6~rc2+dfsg-10 [91.7 kB] Get:63 http://ftpmaster.internal/ubuntu/ wily/main libsqlite3-0 powerpc 3.8.10.2-1 [336 kB] Get:64 http://ftpmaster.internal/ubuntu/ wily-proposed/main libkrb5-26-heimdal powerpc 1.6~rc2+dfsg-10 [176 kB] Get:65 http://ftpmaster.internal/ubuntu/ wily-proposed/main libheimntlm0-heimdal powerpc 1.6~rc2+dfsg-10 [15.0 kB] Get:66 http://ftpmaster.internal/ubuntu/ wily-proposed/main libgssapi3-heimdal powerpc 1.6~rc2+dfsg-10 [81.4 kB] Get:67 http://ftpmaster.internal/ubuntu/ wily/main libldap-2.4-2 powerpc 2.4.40+dfsg-1ubuntu1 [139 kB] Get:68 http://ftpmaster.internal/ubuntu/ wily/main librtmp1 powerpc 2.4+20150115.gita107cef-1 [50.7 kB] Get:69 http://ftpmaster.internal/ubuntu/ wily/main libcurl3-gnutls powerpc 7.38.0-3ubuntu3 [156 kB] Get:70 http://ftpmaster.internal/ubuntu/ wily/main libisl13 powerpc 0.14-2 [376 kB] Get:71 http://ftpmaster.internal/ubuntu/ wily/main libcloog-isl4 powerpc 0.18.3-1 [53.3 kB] Get:72 http://ftpmaster.internal/ubuntu/ wily/main g++-4.9 powerpc 4.9.2-20ubuntu1 [15.5 MB] Get:73 http://ftpmaster.internal/ubuntu/ wily/main gcc-4.9 powerpc 4.9.2-20ubuntu1 [5079 kB] Get:74 http://ftpmaster.internal/ubuntu/ wily/main cpp-4.9 powerpc 4.9.2-20ubuntu1 [4647 kB] Get:75 http://ftpmaster.internal/ubuntu/ wily/main binutils powerpc 2.25-8ubuntu1 [2139 kB] Get:76 http://ftpmaster.internal/ubuntu/ wily/main libgomp1 powerpc 5.1.1-9ubuntu2 [51.5 kB] Get:77 http://ftpmaster.internal/ubuntu/ wily/main libatomic1 powerpc 5.1.1-9ubuntu2 [7494 B] Get:78 http://ftpmaster.internal/ubuntu/ wily/main libubsan0 powerpc 5.1.1-9ubuntu2 [96.1 kB] Get:79 http://ftpmaster.internal/ubuntu/ wily/main libstdc++-4.9-dev powerpc 4.9.2-20ubuntu1 [1100 kB] Get:80 http://ftpmaster.internal/ubuntu/ wily/main libgcc-4.9-dev powerpc 4.9.2-20ubuntu1 [423 kB] Get:81 http://ftpmaster.internal/ubuntu/ wily/main libasan1 powerpc 4.9.2-20ubuntu1 [175 kB] Get:82 http://ftpmaster.internal/ubuntu/ wily/main gcc-4.9-base powerpc 4.9.2-20ubuntu1 [15.5 kB] Get:83 http://ftpmaster.internal/ubuntu/ wily/main libpam-runtime all 1.1.8-3.1ubuntu3 [39.8 kB] Get:84 http://ftpmaster.internal/ubuntu/ wily/main libsmartcols1 powerpc 2.26.2-3ubuntu1 [58.8 kB] Get:85 http://ftpmaster.internal/ubuntu/ wily/main apt-transport-https powerpc 1.0.9.10ubuntu1 [26.0 kB] Get:86 http://ftpmaster.internal/ubuntu/ wily/main openssl powerpc 1.0.2a-1ubuntu1 [484 kB] Get:87 http://ftpmaster.internal/ubuntu/ wily/main ca-certificates all 20150426 [200 kB] Get:88 http://ftpmaster.internal/ubuntu/ wily/main dpkg-dev all 1.17.25ubuntu1 [762 kB] Get:89 http://ftpmaster.internal/ubuntu/ wily/main libdpkg-perl all 1.17.25ubuntu1 [194 kB] Get:90 http://ftpmaster.internal/ubuntu/ wily/main patch powerpc 2.7.5-1 [91.3 kB] Get:91 http://ftpmaster.internal/ubuntu/ wily/main linux-libc-dev powerpc 3.19.0-20.20 [791 kB] Get:92 http://ftpmaster.internal/ubuntu/ wily/main pkg-create-dbgsym all 0.69 [9026 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 53.8 MB in 3s (16.4 MB/s) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10577 files and directories currently installed.) Preparing to unpack .../base-files_7.2ubuntu10_powerpc.deb ... Unpacking base-files (7.2ubuntu10) over (7.2ubuntu8) ... Setting up base-files (7.2ubuntu10) ... Installing new version of config file /etc/issue ... Installing new version of config file /etc/issue.net ... Installing new version of config file /etc/lsb-release ... Installing new version of config file /etc/os-release ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10577 files and directories currently installed.) Preparing to unpack .../debianutils_4.5.1_powerpc.deb ... Unpacking debianutils (4.5.1) over (4.4) ... Setting up debianutils (4.5.1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10576 files and directories currently installed.) Preparing to unpack .../bash_4.3-11ubuntu3_powerpc.deb ... Unpacking bash (4.3-11ubuntu3) over (4.3-11ubuntu2) ... Setting up bash (4.3-11ubuntu3) ... update-alternatives: using /usr/share/man/man7/bash-builtins.7.gz to provide /usr/share/man/man7/builtins.7.gz (builtins.7.gz) in auto mode (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10576 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.26.2-3ubuntu1_powerpc.deb ... Unpacking bsdutils (1:2.26.2-3ubuntu1) over (1:2.25.2-4ubuntu2) ... Setting up bsdutils (1:2.26.2-3ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10577 files and directories currently installed.) Preparing to unpack .../dpkg_1.17.25ubuntu1_powerpc.deb ... Unpacking dpkg (1.17.25ubuntu1) over (1.17.24ubuntu1) ... Setting up dpkg (1.17.25ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10577 files and directories currently installed.) Preparing to unpack .../dash_0.5.7-4ubuntu2_powerpc.deb ... Unpacking dash (0.5.7-4ubuntu2) over (0.5.7-4ubuntu1) ... Setting up dash (0.5.7-4ubuntu2) ... Selecting previously unselected package libapparmor1:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10577 files and directories currently installed.) Preparing to unpack .../libapparmor1_2.9.2-0ubuntu1_powerpc.deb ... Unpacking libapparmor1:powerpc (2.9.2-0ubuntu1) ... Setting up libapparmor1:powerpc (2.9.2-0ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libaudit-common_1%3a2.3.7-1ubuntu2_all.deb ... Unpacking libaudit-common (1:2.3.7-1ubuntu2) over (1:2.3.7-1ubuntu1) ... Setting up libaudit-common (1:2.3.7-1ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libaudit1_1%3a2.3.7-1ubuntu2_powerpc.deb ... Unpacking libaudit1:powerpc (1:2.3.7-1ubuntu2) over (1:2.3.7-1ubuntu1) ... Setting up libaudit1:powerpc (1:2.3.7-1ubuntu2) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.1ubuntu3_powerpc.deb ... Unpacking libpam0g:powerpc (1.1.8-3.1ubuntu3) over (1.1.8-3.1ubuntu2) ... Setting up libpam0g:powerpc (1.1.8-3.1ubuntu3) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.1ubuntu3_powerpc.deb ... Unpacking libpam-modules-bin (1.1.8-3.1ubuntu3) over (1.1.8-3.1ubuntu2) ... Setting up libpam-modules-bin (1.1.8-3.1ubuntu3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.1ubuntu3_powerpc.deb ... Unpacking libpam-modules:powerpc (1.1.8-3.1ubuntu3) over (1.1.8-3.1ubuntu2) ... Setting up libpam-modules:powerpc (1.1.8-3.1ubuntu3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../passwd_1%3a4.1.5.1-1.1ubuntu5_powerpc.deb ... Unpacking passwd (1:4.1.5.1-1.1ubuntu5) over (1:4.1.5.1-1.1ubuntu3) ... Setting up passwd (1:4.1.5.1-1.1ubuntu5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libuuid1_2.26.2-3ubuntu1_powerpc.deb ... Unpacking libuuid1:powerpc (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Setting up libuuid1:powerpc (2.26.2-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libblkid1_2.26.2-3ubuntu1_powerpc.deb ... Unpacking libblkid1:powerpc (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Setting up libblkid1:powerpc (2.26.2-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package libfdisk1:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10582 files and directories currently installed.) Preparing to unpack .../libfdisk1_2.26.2-3ubuntu1_powerpc.deb ... Unpacking libfdisk1:powerpc (2.26.2-3ubuntu1) ... Setting up libfdisk1:powerpc (2.26.2-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10587 files and directories currently installed.) Preparing to unpack .../initscripts_2.88dsf-59.1ubuntu3_powerpc.deb ... Unpacking initscripts (2.88dsf-59.1ubuntu3) over (2.88dsf-53.2ubuntu11) ... dpkg: warning: unable to delete old directory '/etc/network': Directory not empty Preparing to unpack .../mount_2.26.2-3ubuntu1_powerpc.deb ... Unpacking mount (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Setting up mount (2.26.2-3ubuntu1) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10587 files and directories currently installed.) Preparing to unpack .../sysv-rc_2.88dsf-59.1ubuntu3_all.deb ... Unpacking sysv-rc (2.88dsf-59.1ubuntu3) over (2.88dsf-53.2ubuntu11) ... Setting up sysv-rc (2.88dsf-59.1ubuntu3) ... dpkg: considering deconfiguration of sysvinit-utils, which would be broken by installation of util-linux ... dpkg: yes, will deconfigure sysvinit-utils (broken by util-linux) (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10587 files and directories currently installed.) Preparing to unpack .../util-linux_2.26.2-3ubuntu1_powerpc.deb ... De-configuring sysvinit-utils (2.88dsf-53.2ubuntu11) ... Unpacking util-linux (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Replacing files in old package sysvinit-utils (2.88dsf-53.2ubuntu11) ... Preparing to unpack .../sysvinit-utils_2.88dsf-59.1ubuntu3_powerpc.deb ... Unpacking sysvinit-utils (2.88dsf-59.1ubuntu3) over (2.88dsf-53.2ubuntu11) ... Setting up sysvinit-utils (2.88dsf-59.1ubuntu3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10593 files and directories currently installed.) Preparing to unpack .../tzdata_2015d-1_all.deb ... Unpacking tzdata (2015d-1) over (2015b-1) ... Setting up tzdata (2015d-1) ... Current default time zone: 'Etc/UTC' Local time is now: Fri Jun 5 09:15:31 UTC 2015. Universal Time is now: Fri Jun 5 09:15:31 UTC 2015. Run 'dpkg-reconfigure tzdata' if you wish to change it. Selecting previously unselected package libdevmapper1.02.1:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10595 files and directories currently installed.) Preparing to unpack .../libdevmapper1.02.1_2%3a1.02.90-2ubuntu1_powerpc.deb ... Unpacking libdevmapper1.02.1:powerpc (2:1.02.90-2ubuntu1) ... Selecting previously unselected package dmsetup. Preparing to unpack .../dmsetup_2%3a1.02.90-2ubuntu1_powerpc.deb ... Unpacking dmsetup (2:1.02.90-2ubuntu1) ... Setting up initscripts (2.88dsf-59.1ubuntu3) ... Installing new version of config file /etc/init.d/bootmisc.sh ... Installing new version of config file /etc/init.d/checkfs.sh ... Installing new version of config file /etc/init.d/checkroot.sh ... Installing new version of config file /etc/init.d/checkroot-bootclean.sh ... Installing new version of config file /etc/init.d/halt ... Installing new version of config file /etc/init.d/killprocs ... Installing new version of config file /etc/init.d/mountall.sh ... Installing new version of config file /etc/init.d/mountall-bootclean.sh ... Installing new version of config file /etc/init.d/mountnfs.sh ... Installing new version of config file /etc/init.d/mountnfs-bootclean.sh ... Installing new version of config file /etc/init.d/mountdevsubfs.sh ... Installing new version of config file /etc/init.d/mountkernfs.sh ... Installing new version of config file /etc/init.d/rc.local ... Installing new version of config file /etc/init.d/reboot ... Installing new version of config file /etc/init.d/sendsigs ... Installing new version of config file /etc/init.d/single ... Installing new version of config file /etc/init.d/umountfs ... Installing new version of config file /etc/init.d/umountnfs.sh ... Installing new version of config file /etc/init.d/umountroot ... Setting up util-linux (2.26.2-3ubuntu1) ... Setting up libdevmapper1.02.1:powerpc (2:1.02.90-2ubuntu1) ... Setting up dmsetup (2:1.02.90-2ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10609 files and directories currently installed.) Preparing to unpack .../libudev1_219-10ubuntu1_powerpc.deb ... Unpacking libudev1:powerpc (219-10ubuntu1) over (219-6ubuntu1) ... Setting up libudev1:powerpc (219-10ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10609 files and directories currently installed.) Preparing to unpack .../libgcrypt20_1.6.3-2ubuntu1_powerpc.deb ... Unpacking libgcrypt20:powerpc (1.6.3-2ubuntu1) over (1.6.2-4ubuntu2) ... Setting up libgcrypt20:powerpc (1.6.3-2ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package libcryptsetup4. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10609 files and directories currently installed.) Preparing to unpack .../libcryptsetup4_2%3a1.6.1-1ubuntu7_powerpc.deb ... Unpacking libcryptsetup4 (2:1.6.1-1ubuntu7) ... Setting up libcryptsetup4 (2:1.6.1-1ubuntu7) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package libkmod2:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10615 files and directories currently installed.) Preparing to unpack .../libkmod2_18-3ubuntu1_powerpc.deb ... Unpacking libkmod2:powerpc (18-3ubuntu1) ... Setting up libkmod2:powerpc (18-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10620 files and directories currently installed.) Preparing to unpack .../libsystemd0_219-10ubuntu1_powerpc.deb ... Unpacking libsystemd0:powerpc (219-10ubuntu1) over (219-6ubuntu1) ... Setting up libsystemd0:powerpc (219-10ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10620 files and directories currently installed.) Preparing to unpack .../perl_5.20.2-6_powerpc.deb ... Unpacking perl (5.20.2-6) over (5.20.2-2) ... Preparing to unpack .../perl-base_5.20.2-6_powerpc.deb ... Unpacking perl-base (5.20.2-6) over (5.20.2-2) ... Setting up perl-base (5.20.2-6) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10616 files and directories currently installed.) Preparing to unpack .../perl-modules_5.20.2-6_all.deb ... Unpacking perl-modules (5.20.2-6) over (5.20.2-2) ... Preparing to unpack .../bzip2_1.0.6-8_powerpc.deb ... Unpacking bzip2 (1.0.6-8) over (1.0.6-7) ... Preparing to unpack .../libbz2-1.0_1.0.6-8_powerpc.deb ... Unpacking libbz2-1.0:powerpc (1.0.6-8) over (1.0.6-7) ... Setting up libbz2-1.0:powerpc (1.0.6-8) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package adduser. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10616 files and directories currently installed.) Preparing to unpack .../adduser_3.113+nmu3ubuntu3_all.deb ... Unpacking adduser (3.113+nmu3ubuntu3) ... Setting up adduser (3.113+nmu3ubuntu3) ... Selecting previously unselected package udev. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10705 files and directories currently installed.) Preparing to unpack .../udev_219-10ubuntu1_powerpc.deb ... Unpacking udev (219-10ubuntu1) ... Setting up udev (219-10ubuntu1) ... A chroot environment has been detected, udev not started. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10825 files and directories currently installed.) Preparing to unpack .../libcap2_1%3a2.24-8_powerpc.deb ... Unpacking libcap2:powerpc (1:2.24-8) over (1:2.24-6) ... Setting up libcap2:powerpc (1:2.24-8) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package libcap2-bin. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10825 files and directories currently installed.) Preparing to unpack .../libcap2-bin_1%3a2.24-8_powerpc.deb ... Unpacking libcap2-bin (1:2.24-8) ... Setting up libcap2-bin (1:2.24-8) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10839 files and directories currently installed.) Preparing to unpack .../libmount1_2.26.2-3ubuntu1_powerpc.deb ... Unpacking libmount1:powerpc (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Setting up libmount1:powerpc (2.26.2-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Selecting previously unselected package systemd. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 10839 files and directories currently installed.) Preparing to unpack .../systemd_219-10ubuntu1_powerpc.deb ... Unpacking systemd (219-10ubuntu1) ... Setting up systemd (219-10ubuntu1) ... Created symlink from /etc/systemd/system/getty.target.wants/getty@tty1.service to /lib/systemd/system/getty@.service. Created symlink from /etc/systemd/system/multi-user.target.wants/remote-fs.target to /lib/systemd/system/remote-fs.target. Created symlink from /etc/systemd/system/sysinit.target.wants/systemd-timesyncd.service to /lib/systemd/system/systemd-timesyncd.service. Initializing machine ID from random generator. Selecting previously unselected package systemd-sysv. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11503 files and directories currently installed.) Preparing to unpack .../systemd-sysv_219-10ubuntu1_powerpc.deb ... Unpacking systemd-sysv (219-10ubuntu1) ... Setting up systemd-sysv (219-10ubuntu1) ... Selecting previously unselected package init. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11520 files and directories currently installed.) Preparing to unpack .../init_1.23ubuntu3_powerpc.deb ... Unpacking init (1.23ubuntu3) ... Setting up init (1.23ubuntu3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11523 files and directories currently installed.) Preparing to unpack .../login_1%3a4.1.5.1-1.1ubuntu5_powerpc.deb ... Unpacking login (1:4.1.5.1-1.1ubuntu5) over (1:4.1.5.1-1.1ubuntu3) ... Setting up login (1:4.1.5.1-1.1ubuntu5) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11523 files and directories currently installed.) Preparing to unpack .../gcc-5-base_5.1.1-9ubuntu2_powerpc.deb ... Unpacking gcc-5-base:powerpc (5.1.1-9ubuntu2) over (5-20150401-0ubuntu1) ... Setting up gcc-5-base:powerpc (5.1.1-9ubuntu2) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11523 files and directories currently installed.) Preparing to unpack .../libgcc1_1%3a5.1.1-9ubuntu2_powerpc.deb ... Unpacking libgcc1:powerpc (1:5.1.1-9ubuntu2) over (1:5-20150401-0ubuntu1) ... Setting up libgcc1:powerpc (1:5.1.1-9ubuntu2) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11523 files and directories currently installed.) Preparing to unpack .../libstdc++6_5.1.1-9ubuntu2_powerpc.deb ... Unpacking libstdc++6:powerpc (5.1.1-9ubuntu2) over (4.9.2-10ubuntu12) ... Setting up libstdc++6:powerpc (5.1.1-9ubuntu2) ... find: `/usr/share/gcc-4.9/python': No such file or directory Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11524 files and directories currently installed.) Preparing to unpack .../libapt-pkg4.12_1.0.9.10ubuntu1_powerpc.deb ... Unpacking libapt-pkg4.12:powerpc (1.0.9.10ubuntu1) over (1.0.9.7ubuntu3) ... Setting up libapt-pkg4.12:powerpc (1.0.9.10ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11524 files and directories currently installed.) Preparing to unpack .../apt_1.0.9.10ubuntu1_powerpc.deb ... Unpacking apt (1.0.9.10ubuntu1) over (1.0.9.7ubuntu3) ... Setting up apt (1.0.9.10ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11524 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.23.1-2_powerpc.deb ... Unpacking libp11-kit0:powerpc (0.23.1-2) over (0.20.7-1) ... Preparing to unpack .../libssl1.0.0_1.0.2a-1ubuntu1_powerpc.deb ... Unpacking libssl1.0.0:powerpc (1.0.2a-1ubuntu1) over (1.0.1f-1ubuntu11) ... Preparing to unpack .../libroken18-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libroken18-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libasn1-8-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libasn1-8-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libtasn1-6_4.5-2_powerpc.deb ... Unpacking libtasn1-6:powerpc (4.5-2) over (4.2-2ubuntu1) ... Preparing to unpack .../libgnutls-deb0-28_3.3.15-2ubuntu1_powerpc.deb ... Unpacking libgnutls-deb0-28:powerpc (3.3.15-2ubuntu1) over (3.3.8-3ubuntu3) ... Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-20_powerpc.deb ... Unpacking libgssapi-krb5-2:powerpc (1.12.1+dfsg-20) over (1.12.1+dfsg-18) ... Preparing to unpack .../libkrb5-3_1.12.1+dfsg-20_powerpc.deb ... Unpacking libkrb5-3:powerpc (1.12.1+dfsg-20) over (1.12.1+dfsg-18) ... Preparing to unpack .../libkrb5support0_1.12.1+dfsg-20_powerpc.deb ... Unpacking libkrb5support0:powerpc (1.12.1+dfsg-20) over (1.12.1+dfsg-18) ... Preparing to unpack .../libk5crypto3_1.12.1+dfsg-20_powerpc.deb ... Unpacking libk5crypto3:powerpc (1.12.1+dfsg-20) over (1.12.1+dfsg-18) ... Preparing to unpack .../libhcrypto4-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libhcrypto4-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libheimbase1-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libheimbase1-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libwind0-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libwind0-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libhx509-5-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libhx509-5-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libsqlite3-0_3.8.10.2-1_powerpc.deb ... Unpacking libsqlite3-0:powerpc (3.8.10.2-1) over (3.8.7.4-1) ... Preparing to unpack .../libkrb5-26-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libkrb5-26-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libheimntlm0-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libheimntlm0-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libgssapi3-heimdal_1.6~rc2+dfsg-10_powerpc.deb ... Unpacking libgssapi3-heimdal:powerpc (1.6~rc2+dfsg-10) over (1.6~rc2+dfsg-9) ... Preparing to unpack .../libldap-2.4-2_2.4.40+dfsg-1ubuntu1_powerpc.deb ... Unpacking libldap-2.4-2:powerpc (2.4.40+dfsg-1ubuntu1) over (2.4.31-1+nmu2ubuntu12) ... Preparing to unpack .../librtmp1_2.4+20150115.gita107cef-1_powerpc.deb ... Unpacking librtmp1:powerpc (2.4+20150115.gita107cef-1) over (2.4+20131018.git79459a2-5) ... Preparing to unpack .../libcurl3-gnutls_7.38.0-3ubuntu3_powerpc.deb ... Unpacking libcurl3-gnutls:powerpc (7.38.0-3ubuntu3) over (7.38.0-3ubuntu2) ... Preparing to unpack .../libisl13_0.14-2_powerpc.deb ... Unpacking libisl13:powerpc (0.14-2) over (0.14-1) ... Preparing to unpack .../libcloog-isl4_0.18.3-1_powerpc.deb ... Unpacking libcloog-isl4:powerpc (0.18.3-1) over (0.18.2-3) ... Preparing to unpack .../g++-4.9_4.9.2-20ubuntu1_powerpc.deb ... Unpacking g++-4.9 (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../gcc-4.9_4.9.2-20ubuntu1_powerpc.deb ... Unpacking gcc-4.9 (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../cpp-4.9_4.9.2-20ubuntu1_powerpc.deb ... Unpacking cpp-4.9 (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../binutils_2.25-8ubuntu1_powerpc.deb ... Unpacking binutils (2.25-8ubuntu1) over (2.25-5ubuntu6) ... Preparing to unpack .../libgomp1_5.1.1-9ubuntu2_powerpc.deb ... Unpacking libgomp1:powerpc (5.1.1-9ubuntu2) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libatomic1_5.1.1-9ubuntu2_powerpc.deb ... Unpacking libatomic1:powerpc (5.1.1-9ubuntu2) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libubsan0_5.1.1-9ubuntu2_powerpc.deb ... Unpacking libubsan0:powerpc (5.1.1-9ubuntu2) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libstdc++-4.9-dev_4.9.2-20ubuntu1_powerpc.deb ... Unpacking libstdc++-4.9-dev:powerpc (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libgcc-4.9-dev_4.9.2-20ubuntu1_powerpc.deb ... Unpacking libgcc-4.9-dev:powerpc (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libasan1_4.9.2-20ubuntu1_powerpc.deb ... Unpacking libasan1:powerpc (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../gcc-4.9-base_4.9.2-20ubuntu1_powerpc.deb ... Unpacking gcc-4.9-base:powerpc (4.9.2-20ubuntu1) over (4.9.2-10ubuntu12) ... Preparing to unpack .../libpam-runtime_1.1.8-3.1ubuntu3_all.deb ... Unpacking libpam-runtime (1.1.8-3.1ubuntu3) over (1.1.8-3.1ubuntu2) ... Setting up libpam-runtime (1.1.8-3.1ubuntu3) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11541 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.26.2-3ubuntu1_powerpc.deb ... Unpacking libsmartcols1:powerpc (2.26.2-3ubuntu1) over (2.25.2-4ubuntu2) ... Setting up libsmartcols1:powerpc (2.26.2-3ubuntu1) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11541 files and directories currently installed.) Preparing to unpack .../apt-transport-https_1.0.9.10ubuntu1_powerpc.deb ... Unpacking apt-transport-https (1.0.9.10ubuntu1) over (1.0.9.7ubuntu3) ... Preparing to unpack .../openssl_1.0.2a-1ubuntu1_powerpc.deb ... Unpacking openssl (1.0.2a-1ubuntu1) over (1.0.1f-1ubuntu11) ... Preparing to unpack .../ca-certificates_20150426_all.deb ... Unpacking ca-certificates (20150426) over (20141019) ... Preparing to unpack .../dpkg-dev_1.17.25ubuntu1_all.deb ... Unpacking dpkg-dev (1.17.25ubuntu1) over (1.17.24ubuntu1) ... Preparing to unpack .../libdpkg-perl_1.17.25ubuntu1_all.deb ... Unpacking libdpkg-perl (1.17.25ubuntu1) over (1.17.24ubuntu1) ... Preparing to unpack .../patch_2.7.5-1_powerpc.deb ... Unpacking patch (2.7.5-1) over (2.7.4-2) ... Preparing to unpack .../linux-libc-dev_3.19.0-20.20_powerpc.deb ... Unpacking linux-libc-dev:powerpc (3.19.0-20.20) over (3.19.0-11.11) ... Preparing to unpack .../pkg-create-dbgsym_0.69_all.deb ... Unpacking pkg-create-dbgsym (0.69) over (0.65) ... Setting up perl-modules (5.20.2-6) ... Setting up perl (5.20.2-6) ... Setting up bzip2 (1.0.6-8) ... Setting up libp11-kit0:powerpc (0.23.1-2) ... Setting up libssl1.0.0:powerpc (1.0.2a-1ubuntu1) ... Checking for services that may need to be restarted...done. Checking for services that may need to be restarted...done. Setting up libroken18-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libasn1-8-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libtasn1-6:powerpc (4.5-2) ... Setting up libgnutls-deb0-28:powerpc (3.3.15-2ubuntu1) ... Setting up libkrb5support0:powerpc (1.12.1+dfsg-20) ... Setting up libk5crypto3:powerpc (1.12.1+dfsg-20) ... Setting up libkrb5-3:powerpc (1.12.1+dfsg-20) ... Setting up libgssapi-krb5-2:powerpc (1.12.1+dfsg-20) ... Setting up libhcrypto4-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libheimbase1-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libwind0-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libhx509-5-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libsqlite3-0:powerpc (3.8.10.2-1) ... Setting up libkrb5-26-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libheimntlm0-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libgssapi3-heimdal:powerpc (1.6~rc2+dfsg-10) ... Setting up libldap-2.4-2:powerpc (2.4.40+dfsg-1ubuntu1) ... Setting up librtmp1:powerpc (2.4+20150115.gita107cef-1) ... Setting up libcurl3-gnutls:powerpc (7.38.0-3ubuntu3) ... Setting up libisl13:powerpc (0.14-2) ... Setting up libcloog-isl4:powerpc (0.18.3-1) ... Setting up gcc-4.9-base:powerpc (4.9.2-20ubuntu1) ... Setting up cpp-4.9 (4.9.2-20ubuntu1) ... Setting up binutils (2.25-8ubuntu1) ... Setting up libgomp1:powerpc (5.1.1-9ubuntu2) ... Setting up libatomic1:powerpc (5.1.1-9ubuntu2) ... Setting up libasan1:powerpc (4.9.2-20ubuntu1) ... Setting up libubsan0:powerpc (5.1.1-9ubuntu2) ... Setting up libgcc-4.9-dev:powerpc (4.9.2-20ubuntu1) ... Setting up gcc-4.9 (4.9.2-20ubuntu1) ... Setting up libstdc++-4.9-dev:powerpc (4.9.2-20ubuntu1) ... Setting up g++-4.9 (4.9.2-20ubuntu1) ... Setting up apt-transport-https (1.0.9.10ubuntu1) ... Setting up openssl (1.0.2a-1ubuntu1) ... Setting up ca-certificates (20150426) ... Setting up libdpkg-perl (1.17.25ubuntu1) ... Setting up patch (2.7.5-1) ... Setting up dpkg-dev (1.17.25ubuntu1) ... Setting up linux-libc-dev:powerpc (3.19.0-20.20) ... Setting up pkg-create-dbgsym (0.69) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Processing triggers for ca-certificates (20150426) ... Updating certificates in /etc/ssl/certs... 13 added, 6 removed; done. Running hooks in /etc/ca-certificates/update.d... done. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-7448546', 'powerpc', 'wily-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=wily-proposed', '--purpose=PRIMARY', '--build-debug-symbols', '--architecture=powerpc', '--comp=universe', 'agda_2.4.2.2-2.dsc'] Initiating build PACKAGEBUILD-7448546 with 24 jobs across 24 processor cores. Kernel reported to sbuild: 3.2.0-68-powerpc64-smp #102-Ubuntu SMP Tue Aug 12 22:09:42 UTC 2014 ppc Automatic build of agda_2.4.2.2-2 on sagari by sbuild/powerpc 1.170.5 Build started at 20150605-0917 ****************************************************************************** agda_2.4.2.2-2.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.5), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.2), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.1.3.2), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.17), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.3), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), cpphs (>= 1.18.6), cpphs (<< 1.19), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-equivalence-doc, libghc-geniplate-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-stmonadtrans-doc, libghc-text-doc, libghc-unordered-containers-doc, libghc-zlib-doc, libghc-strict-doc, libghc-src-exts-doc, libghc-quickcheck2-doc Checking for already installed source dependencies... debhelper: missing haskell-devscripts: missing cdbs: missing ghc: missing ghc-ghci: missing libghc-boxes-dev: missing libghc-boxes-dev: missing libghc-data-hash-dev: missing libghc-data-hash-dev: missing libghc-equivalence-dev: missing libghc-equivalence-dev: missing libghc-geniplate-dev: missing libghc-geniplate-dev: missing libghc-hashable-dev: missing libghc-hashable-dev: missing libghc-hashtables-dev: missing libghc-hashtables-dev: missing libghc-mtl-dev: missing libghc-mtl-dev: missing libghc-parallel-dev: missing libghc-unordered-containers-dev: missing libghc-unordered-containers-dev: missing libghc-zlib-dev: missing libghc-zlib-dev: missing libghc-strict-dev: missing libghc-strict-dev: missing libghc-src-exts-dev: missing libghc-src-exts-dev: missing libghc-stmonadtrans-dev: missing libghc-stmonadtrans-dev: missing libghc-text-dev: missing libghc-text-dev: missing libghc-quickcheck2-dev: missing libghc-quickcheck2-dev: missing cpphs: missing cpphs: missing happy: missing happy: missing alex: missing alex: missing libncurses5-dev: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper haskell-devscripts cdbs ghc ghc-ghci libghc-boxes-dev libghc-boxes-dev libghc-data-hash-dev libghc-data-hash-dev libghc-equivalence-dev libghc-equivalence-dev libghc-geniplate-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashable-dev libghc-hashtables-dev libghc-hashtables-dev libghc-mtl-dev libghc-mtl-dev libghc-parallel-dev libghc-unordered-containers-dev libghc-unordered-containers-dev libghc-zlib-dev libghc-zlib-dev libghc-strict-dev libghc-strict-dev libghc-src-exts-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-stmonadtrans-dev libghc-text-dev libghc-text-dev libghc-quickcheck2-dev libghc-quickcheck2-dev cpphs cpphs happy happy alex alex libncurses5-dev Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: autoconf automake autotools-dev bsdmainutils dctrl-tools dh-apparmor dh-buildinfo dh-translations file gettext gettext-base ghc-haddock groff-base hscolour html-xml-utils intltool intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libencode-locale-perl libexpat1 libffi-dev libfile-listing-perl libghc-cpphs-dev libghc-polyparse-dev libghc-primitive-dev libghc-random-dev libghc-split-dev libghc-tf-random-dev libghc-vector-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libicu52 libio-html-perl libio-socket-ssl-perl liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic1 libnet-http-perl libnet-ssleay-perl libpipeline1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2 libtinfo-dev libunistring0 liburi-perl libwww-perl libwww-robotrules-perl libxml-parser-perl libxml2 m4 man-db mime-support netbase po-debconf python python-minimal python-scour python2.7 python2.7-minimal zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation devscripts debtags dh-make apparmor-easyprof gettext-doc ghc-prof ghc-doc haskell-doc llvm-3.4 groff info-browser libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev libdata-dump-perl libcrypt-ssleay-perl ncurses-doc libauthen-ntlm-perl less www-browser libmail-box-perl python-doc python-tk python-rsvg python-cairo python2.7-doc binfmt-support Recommended packages: curl wget lynx-cur libasprintf-dev libgettextpo-dev libglib2.0-data shared-mime-info xdg-user-dirs libhtml-format-perl libhtml-form-perl libhttp-daemon-perl libmailtools-perl xml-core ifupdown libmail-sendmail-perl The following NEW packages will be installed: alex autoconf automake autotools-dev bsdmainutils cdbs cpphs dctrl-tools debhelper dh-apparmor dh-buildinfo dh-translations file gettext gettext-base ghc ghc-haddock groff-base happy haskell-devscripts hscolour html-xml-utils intltool intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libencode-locale-perl libexpat1 libffi-dev libfile-listing-perl libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-text-dev libghc-tf-random-dev libghc-unordered-containers-dev libghc-vector-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libicu52 libio-html-perl libio-socket-ssl-perl liblwp-mediatypes-perl liblwp-protocol-https-perl libmagic1 libncurses5-dev libnet-http-perl libnet-ssleay-perl libpipeline1 libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libsigsegv2 libtinfo-dev libunistring0 liburi-perl libwww-perl libwww-robotrules-perl libxml-parser-perl libxml2 m4 man-db mime-support netbase po-debconf python python-minimal python-scour python2.7 python2.7-minimal zlib1g-dev 0 upgraded, 96 newly installed, 0 to remove and 0 not upgraded. Need to get 68.3 MB of archives. After this operation, 561 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ wily/main libbsd0 powerpc 0.7.0-2 [33.7 kB] Get:2 http://ftpmaster.internal/ubuntu/ wily/main libexpat1 powerpc 2.1.0-6ubuntu1 [63.8 kB] Get:3 http://ftpmaster.internal/ubuntu/ wily/main libasprintf0c2 powerpc 0.19.2-2ubuntu1 [6384 B] Get:4 http://ftpmaster.internal/ubuntu/ wily/main libglib2.0-0 powerpc 2.45.1-2 [961 kB] Get:5 http://ftpmaster.internal/ubuntu/ wily/main libpipeline1 powerpc 1.4.0-1 [24.2 kB] Get:6 http://ftpmaster.internal/ubuntu/ wily/main libicu52 powerpc 52.1-9 [6616 kB] Get:7 http://ftpmaster.internal/ubuntu/ wily/main libxml2 powerpc 2.9.2+dfsg1-3 [587 kB] Get:8 http://ftpmaster.internal/ubuntu/ wily/main groff-base powerpc 1.22.3-1 [1229 kB] Get:9 http://ftpmaster.internal/ubuntu/ wily/main bsdmainutils powerpc 9.0.6ubuntu1 [172 kB] Get:10 http://ftpmaster.internal/ubuntu/ wily/main man-db powerpc 2.7.0.2-5 [838 kB] Get:11 http://ftpmaster.internal/ubuntu/ wily/main libcroco3 powerpc 0.6.8-3 [70.7 kB] Get:12 http://ftpmaster.internal/ubuntu/ wily/main libgmpxx4ldbl powerpc 2:6.0.0+dfsg-6ubuntu1 [9510 B] Get:13 http://ftpmaster.internal/ubuntu/ wily/main libsigsegv2 powerpc 2.10-4 [13.7 kB] Get:14 http://ftpmaster.internal/ubuntu/ wily/main libunistring0 powerpc 0.9.3-5.2ubuntu1 [254 kB] Get:15 http://ftpmaster.internal/ubuntu/ wily-proposed/main libpython2.7-minimal powerpc 2.7.10-2 [339 kB] Get:16 http://ftpmaster.internal/ubuntu/ wily-proposed/main python2.7-minimal powerpc 2.7.10-2 [1132 kB] Get:17 http://ftpmaster.internal/ubuntu/ wily/main python-minimal powerpc 2.7.9-1 [28.3 kB] Get:18 http://ftpmaster.internal/ubuntu/ wily/main mime-support all 3.58ubuntu1 [31.6 kB] Get:19 http://ftpmaster.internal/ubuntu/ wily-proposed/main libpython2.7-stdlib powerpc 2.7.10-2 [1740 kB] Get:20 http://ftpmaster.internal/ubuntu/ wily-proposed/main python2.7 powerpc 2.7.10-2 [211 kB] Get:21 http://ftpmaster.internal/ubuntu/ wily/main libpython-stdlib powerpc 2.7.9-1 [7780 B] Get:22 http://ftpmaster.internal/ubuntu/ wily/main python powerpc 2.7.9-1 [137 kB] Get:23 http://ftpmaster.internal/ubuntu/ wily/main libgmp-dev powerpc 2:6.0.0+dfsg-6ubuntu1 [268 kB] Get:24 http://ftpmaster.internal/ubuntu/ wily/main libffi-dev powerpc 3.2.1-2 [162 kB] Get:25 http://ftpmaster.internal/ubuntu/ wily/main libbsd-dev powerpc 0.7.0-2 [123 kB] Get:26 http://ftpmaster.internal/ubuntu/ wily/main libtinfo-dev powerpc 5.9+20140712-2ubuntu2 [72.7 kB] Get:27 http://ftpmaster.internal/ubuntu/ wily/main libncurses5-dev powerpc 5.9+20140712-2ubuntu2 [162 kB] Get:28 http://ftpmaster.internal/ubuntu/ wily-proposed/universe ghc powerpc 7.8.4-8 [35.7 MB] Get:29 http://ftpmaster.internal/ubuntu/ wily/main libmagic1 powerpc 1:5.22+15-2ubuntu1 [209 kB] Get:30 http://ftpmaster.internal/ubuntu/ wily/main file powerpc 1:5.22+15-2ubuntu1 [20.7 kB] Get:31 http://ftpmaster.internal/ubuntu/ wily/main netbase all 5.3 [12.9 kB] Get:32 http://ftpmaster.internal/ubuntu/ wily/main gettext-base powerpc 0.19.2-2ubuntu1 [44.9 kB] Get:33 http://ftpmaster.internal/ubuntu/ wily/universe alex powerpc 3.1.4-2 [427 kB] Get:34 http://ftpmaster.internal/ubuntu/ wily/main m4 powerpc 1.4.17-4 [183 kB] Get:35 http://ftpmaster.internal/ubuntu/ wily/main autoconf all 2.69-8 [321 kB] Get:36 http://ftpmaster.internal/ubuntu/ wily/main autotools-dev all 20140911.1 [39.6 kB] Get:37 http://ftpmaster.internal/ubuntu/ wily/main automake all 1:1.14.1-3ubuntu1 [510 kB] Get:38 http://ftpmaster.internal/ubuntu/ wily/main gettext powerpc 0.19.2-2ubuntu1 [795 kB] Get:39 http://ftpmaster.internal/ubuntu/ wily/main intltool-debian all 0.35.0+20060710.2 [24.5 kB] Get:40 http://ftpmaster.internal/ubuntu/ wily/main po-debconf all 1.0.18 [234 kB] Get:41 http://ftpmaster.internal/ubuntu/ wily/main dh-apparmor all 2.9.2-0ubuntu1 [11.5 kB] Get:42 http://ftpmaster.internal/ubuntu/ wily/main debhelper all 9.20150507ubuntu1 [737 kB] Get:43 http://ftpmaster.internal/ubuntu/ wily/main liburi-perl all 1.64-1 [84.1 kB] Get:44 http://ftpmaster.internal/ubuntu/ wily/main libencode-locale-perl all 1.03-1 [12.4 kB] Get:45 http://ftpmaster.internal/ubuntu/ wily/main libhttp-date-perl all 6.02-1 [10.4 kB] Get:46 http://ftpmaster.internal/ubuntu/ wily/main libfile-listing-perl all 6.04-1 [9774 B] Get:47 http://ftpmaster.internal/ubuntu/ wily/main libhtml-tagset-perl all 3.20-2 [13.5 kB] Get:48 http://ftpmaster.internal/ubuntu/ wily/main libhtml-parser-perl powerpc 3.71-1build2 [88.2 kB] Get:49 http://ftpmaster.internal/ubuntu/ wily/main libhtml-tree-perl all 5.03-1 [215 kB] Get:50 http://ftpmaster.internal/ubuntu/ wily/main libio-html-perl all 1.001-1 [14.9 kB] Get:51 http://ftpmaster.internal/ubuntu/ wily/main liblwp-mediatypes-perl all 6.02-1 [21.7 kB] Get:52 http://ftpmaster.internal/ubuntu/ wily/main libhttp-message-perl all 6.06-1 [78.7 kB] Get:53 http://ftpmaster.internal/ubuntu/ wily/main libhttp-cookies-perl all 6.01-1 [17.2 kB] Get:54 http://ftpmaster.internal/ubuntu/ wily/main libhttp-negotiate-perl all 6.00-2 [13.4 kB] Get:55 http://ftpmaster.internal/ubuntu/ wily/main libnet-ssleay-perl powerpc 1.68-1 [244 kB] Get:56 http://ftpmaster.internal/ubuntu/ wily/main libio-socket-ssl-perl all 1.965-1ubuntu1 [73.7 kB] Get:57 http://ftpmaster.internal/ubuntu/ wily/main libnet-http-perl all 6.07-1 [23.8 kB] Get:58 http://ftpmaster.internal/ubuntu/ wily/main liblwp-protocol-https-perl all 6.06-2 [8682 B] Get:59 http://ftpmaster.internal/ubuntu/ wily/main libwww-robotrules-perl all 6.01-1 [14.1 kB] Get:60 http://ftpmaster.internal/ubuntu/ wily/main libwww-perl all 6.08-1 [146 kB] Get:61 http://ftpmaster.internal/ubuntu/ wily/main libxml-parser-perl powerpc 2.41-3 [202 kB] Get:62 http://ftpmaster.internal/ubuntu/ wily/main intltool all 0.51.0-1 [44.7 kB] Get:63 http://ftpmaster.internal/ubuntu/ wily/main dh-translations all 121 [21.6 kB] Get:64 http://ftpmaster.internal/ubuntu/ wily/main python-scour all 0.26-3build1 [40.5 kB] Get:65 http://ftpmaster.internal/ubuntu/ wily/main cdbs all 0.4.130ubuntu1 [42.8 kB] Get:66 http://ftpmaster.internal/ubuntu/ wily-proposed/universe cpphs powerpc 1.18.9-1build2 [322 kB] Get:67 http://ftpmaster.internal/ubuntu/ wily/main dctrl-tools powerpc 2.24-1 [96.3 kB] Get:68 http://ftpmaster.internal/ubuntu/ wily/main dh-buildinfo all 0.11 [16.3 kB] Get:69 http://ftpmaster.internal/ubuntu/ wily/universe happy powerpc 1.19.4-3 [417 kB] Get:70 http://ftpmaster.internal/ubuntu/ wily/universe html-xml-utils powerpc 6.9-1 [179 kB] Get:71 http://ftpmaster.internal/ubuntu/ wily-proposed/universe hscolour powerpc 1.22-2build2 [269 kB] Get:72 http://ftpmaster.internal/ubuntu/ wily-proposed/universe ghc-haddock powerpc 7.8.4-8 [5160 kB] Get:73 http://ftpmaster.internal/ubuntu/ wily-proposed/universe haskell-devscripts all 0.9.6 [26.9 kB] Get:74 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-text-dev powerpc 1.1.1.3-2build2 [704 kB] Get:75 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-polyparse-dev powerpc 1.11-2build2 [269 kB] Get:76 http://ftpmaster.internal/ubuntu/ wily/main zlib1g-dev powerpc 1:1.2.8.dfsg-2ubuntu1 [164 kB] Get:77 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-split-dev powerpc 0.2.2-3build2 [26.3 kB] Get:78 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-boxes-dev powerpc 0.1.3-3build2 [24.0 kB] Get:79 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-cpphs-dev powerpc 1.18.9-1build2 [116 kB] Get:80 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-data-hash-dev powerpc 0.2.0.0-3build2 [49.7 kB] Get:81 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-mtl-dev powerpc 2.1.3.1-3build2 [54.0 kB] Get:82 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-stmonadtrans-dev powerpc 0.3.2-3build2 [25.1 kB] Get:83 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-equivalence-dev powerpc 0.2.5-3build2 [46.2 kB] Get:84 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-geniplate-dev powerpc 0.6.0.4-3build2 [55.5 kB] Get:85 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-hashable-dev powerpc 1.2.3.2-3build2 [30.2 kB] Get:86 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-primitive-dev powerpc 0.5.4.0-2build2 [54.5 kB] Get:87 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-vector-dev powerpc 0.10.12.3-2build2 [657 kB] Get:88 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-hashtables-dev powerpc 1.1.2.1-2build2 [125 kB] Get:89 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-parallel-dev powerpc 3.2.0.6-2build2 [31.4 kB] Get:90 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-random-dev powerpc 1.0.1.1-5build2 [107 kB] Get:91 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-tf-random-dev powerpc 0.5-3build2 [59.3 kB] Get:92 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-quickcheck2-dev powerpc 2.7.6-7build2 [278 kB] Get:93 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-src-exts-dev powerpc 1.16.0.1-3build2 [2788 kB] Get:94 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-strict-dev powerpc 0.3.2-9build2 [31.8 kB] Get:95 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-unordered-containers-dev powerpc 0.2.5.1-2build1 [117 kB] Get:96 http://ftpmaster.internal/ubuntu/ wily-proposed/universe libghc-zlib-dev powerpc 0.5.4.2-2build2 [53.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.3 MB in 3s (17.5 MB/s) Selecting previously unselected package libbsd0:powerpc. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 11555 files and directories currently installed.) Preparing to unpack .../libbsd0_0.7.0-2_powerpc.deb ... Unpacking libbsd0:powerpc (0.7.0-2) ... Selecting previously unselected package libexpat1:powerpc. Preparing to unpack .../libexpat1_2.1.0-6ubuntu1_powerpc.deb ... Unpacking libexpat1:powerpc (2.1.0-6ubuntu1) ... Selecting previously unselected package libasprintf0c2:powerpc. Preparing to unpack .../libasprintf0c2_0.19.2-2ubuntu1_powerpc.deb ... Unpacking libasprintf0c2:powerpc (0.19.2-2ubuntu1) ... Selecting previously unselected package libglib2.0-0:powerpc. Preparing to unpack .../libglib2.0-0_2.45.1-2_powerpc.deb ... Unpacking libglib2.0-0:powerpc (2.45.1-2) ... Selecting previously unselected package libpipeline1:powerpc. Preparing to unpack .../libpipeline1_1.4.0-1_powerpc.deb ... Unpacking libpipeline1:powerpc (1.4.0-1) ... Selecting previously unselected package libicu52:powerpc. Preparing to unpack .../libicu52_52.1-9_powerpc.deb ... Unpacking libicu52:powerpc (52.1-9) ... Selecting previously unselected package libxml2:powerpc. Preparing to unpack .../libxml2_2.9.2+dfsg1-3_powerpc.deb ... Unpacking libxml2:powerpc (2.9.2+dfsg1-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.3-1_powerpc.deb ... Unpacking groff-base (1.22.3-1) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.6ubuntu1_powerpc.deb ... Unpacking bsdmainutils (9.0.6ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.0.2-5_powerpc.deb ... Unpacking man-db (2.7.0.2-5) ... Selecting previously unselected package libcroco3:powerpc. Preparing to unpack .../libcroco3_0.6.8-3_powerpc.deb ... Unpacking libcroco3:powerpc (0.6.8-3) ... Selecting previously unselected package libgmpxx4ldbl:powerpc. Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6ubuntu1_powerpc.deb ... Unpacking libgmpxx4ldbl:powerpc (2:6.0.0+dfsg-6ubuntu1) ... Selecting previously unselected package libsigsegv2:powerpc. Preparing to unpack .../libsigsegv2_2.10-4_powerpc.deb ... Unpacking libsigsegv2:powerpc (2.10-4) ... Selecting previously unselected package libunistring0:powerpc. Preparing to unpack .../libunistring0_0.9.3-5.2ubuntu1_powerpc.deb ... Unpacking libunistring0:powerpc (0.9.3-5.2ubuntu1) ... Selecting previously unselected package libpython2.7-minimal:powerpc. Preparing to unpack .../libpython2.7-minimal_2.7.10-2_powerpc.deb ... Unpacking libpython2.7-minimal:powerpc (2.7.10-2) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.10-2_powerpc.deb ... Unpacking python2.7-minimal (2.7.10-2) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.9-1_powerpc.deb ... Unpacking python-minimal (2.7.9-1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.58ubuntu1_all.deb ... Unpacking mime-support (3.58ubuntu1) ... Selecting previously unselected package libpython2.7-stdlib:powerpc. Preparing to unpack .../libpython2.7-stdlib_2.7.10-2_powerpc.deb ... Unpacking libpython2.7-stdlib:powerpc (2.7.10-2) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.10-2_powerpc.deb ... Unpacking python2.7 (2.7.10-2) ... Selecting previously unselected package libpython-stdlib:powerpc. Preparing to unpack .../libpython-stdlib_2.7.9-1_powerpc.deb ... Unpacking libpython-stdlib:powerpc (2.7.9-1) ... Setting up libpython2.7-minimal:powerpc (2.7.10-2) ... Setting up python2.7-minimal (2.7.10-2) ... Linking and byte-compiling packages for runtime python2.7... Setting up python-minimal (2.7.9-1) ... Selecting previously unselected package python. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12927 files and directories currently installed.) Preparing to unpack .../python_2.7.9-1_powerpc.deb ... Unpacking python (2.7.9-1) ... Selecting previously unselected package libgmp-dev:powerpc. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6ubuntu1_powerpc.deb ... Unpacking libgmp-dev:powerpc (2:6.0.0+dfsg-6ubuntu1) ... Selecting previously unselected package libffi-dev:powerpc. Preparing to unpack .../libffi-dev_3.2.1-2_powerpc.deb ... Unpacking libffi-dev:powerpc (3.2.1-2) ... Selecting previously unselected package libbsd-dev:powerpc. Preparing to unpack .../libbsd-dev_0.7.0-2_powerpc.deb ... Unpacking libbsd-dev:powerpc (0.7.0-2) ... Selecting previously unselected package libtinfo-dev:powerpc. Preparing to unpack .../libtinfo-dev_5.9+20140712-2ubuntu2_powerpc.deb ... Unpacking libtinfo-dev:powerpc (5.9+20140712-2ubuntu2) ... Selecting previously unselected package libncurses5-dev:powerpc. Preparing to unpack .../libncurses5-dev_5.9+20140712-2ubuntu2_powerpc.deb ... Unpacking libncurses5-dev:powerpc (5.9+20140712-2ubuntu2) ... Selecting previously unselected package ghc. Preparing to unpack .../ghc_7.8.4-8_powerpc.deb ... Unpacking ghc (7.8.4-8) ... Selecting previously unselected package libmagic1:powerpc. Preparing to unpack .../libmagic1_1%3a5.22+15-2ubuntu1_powerpc.deb ... Unpacking libmagic1:powerpc (1:5.22+15-2ubuntu1) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.22+15-2ubuntu1_powerpc.deb ... Unpacking file (1:5.22+15-2ubuntu1) ... Selecting previously unselected package netbase. Preparing to unpack .../archives/netbase_5.3_all.deb ... Unpacking netbase (5.3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.2-2ubuntu1_powerpc.deb ... Unpacking gettext-base (0.19.2-2ubuntu1) ... Selecting previously unselected package alex. Preparing to unpack .../alex_3.1.4-2_powerpc.deb ... Unpacking alex (3.1.4-2) ... Selecting previously unselected package m4. Preparing to unpack .../m4_1.4.17-4_powerpc.deb ... Unpacking m4 (1.4.17-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../autoconf_2.69-8_all.deb ... Unpacking autoconf (2.69-8) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../autotools-dev_20140911.1_all.deb ... Unpacking autotools-dev (20140911.1) ... Selecting previously unselected package automake. Preparing to unpack .../automake_1%3a1.14.1-3ubuntu1_all.deb ... Unpacking automake (1:1.14.1-3ubuntu1) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.2-2ubuntu1_powerpc.deb ... Unpacking gettext (0.19.2-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.2_all.deb ... Unpacking intltool-debian (0.35.0+20060710.2) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.18_all.deb ... Unpacking po-debconf (1.0.18) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.9.2-0ubuntu1_all.deb ... Unpacking dh-apparmor (2.9.2-0ubuntu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20150507ubuntu1_all.deb ... Unpacking debhelper (9.20150507ubuntu1) ... Selecting previously unselected package liburi-perl. Preparing to unpack .../liburi-perl_1.64-1_all.deb ... Unpacking liburi-perl (1.64-1) ... Selecting previously unselected package libencode-locale-perl. Preparing to unpack .../libencode-locale-perl_1.03-1_all.deb ... Unpacking libencode-locale-perl (1.03-1) ... Selecting previously unselected package libhttp-date-perl. Preparing to unpack .../libhttp-date-perl_6.02-1_all.deb ... Unpacking libhttp-date-perl (6.02-1) ... Selecting previously unselected package libfile-listing-perl. Preparing to unpack .../libfile-listing-perl_6.04-1_all.deb ... Unpacking libfile-listing-perl (6.04-1) ... Selecting previously unselected package libhtml-tagset-perl. Preparing to unpack .../libhtml-tagset-perl_3.20-2_all.deb ... Unpacking libhtml-tagset-perl (3.20-2) ... Selecting previously unselected package libhtml-parser-perl. Preparing to unpack .../libhtml-parser-perl_3.71-1build2_powerpc.deb ... Unpacking libhtml-parser-perl (3.71-1build2) ... Selecting previously unselected package libhtml-tree-perl. Preparing to unpack .../libhtml-tree-perl_5.03-1_all.deb ... Unpacking libhtml-tree-perl (5.03-1) ... Selecting previously unselected package libio-html-perl. Preparing to unpack .../libio-html-perl_1.001-1_all.deb ... Unpacking libio-html-perl (1.001-1) ... Selecting previously unselected package liblwp-mediatypes-perl. Preparing to unpack .../liblwp-mediatypes-perl_6.02-1_all.deb ... Unpacking liblwp-mediatypes-perl (6.02-1) ... Selecting previously unselected package libhttp-message-perl. Preparing to unpack .../libhttp-message-perl_6.06-1_all.deb ... Unpacking libhttp-message-perl (6.06-1) ... Selecting previously unselected package libhttp-cookies-perl. Preparing to unpack .../libhttp-cookies-perl_6.01-1_all.deb ... Unpacking libhttp-cookies-perl (6.01-1) ... Selecting previously unselected package libhttp-negotiate-perl. Preparing to unpack .../libhttp-negotiate-perl_6.00-2_all.deb ... Unpacking libhttp-negotiate-perl (6.00-2) ... Selecting previously unselected package libnet-ssleay-perl. Preparing to unpack .../libnet-ssleay-perl_1.68-1_powerpc.deb ... Unpacking libnet-ssleay-perl (1.68-1) ... Selecting previously unselected package libio-socket-ssl-perl. Preparing to unpack .../libio-socket-ssl-perl_1.965-1ubuntu1_all.deb ... Unpacking libio-socket-ssl-perl (1.965-1ubuntu1) ... Selecting previously unselected package libnet-http-perl. Preparing to unpack .../libnet-http-perl_6.07-1_all.deb ... Unpacking libnet-http-perl (6.07-1) ... Selecting previously unselected package liblwp-protocol-https-perl. Preparing to unpack .../liblwp-protocol-https-perl_6.06-2_all.deb ... Unpacking liblwp-protocol-https-perl (6.06-2) ... Selecting previously unselected package libwww-robotrules-perl. Preparing to unpack .../libwww-robotrules-perl_6.01-1_all.deb ... Unpacking libwww-robotrules-perl (6.01-1) ... Selecting previously unselected package libwww-perl. Preparing to unpack .../libwww-perl_6.08-1_all.deb ... Unpacking libwww-perl (6.08-1) ... Selecting previously unselected package libxml-parser-perl. Preparing to unpack .../libxml-parser-perl_2.41-3_powerpc.deb ... Unpacking libxml-parser-perl (2.41-3) ... Selecting previously unselected package intltool. Preparing to unpack .../intltool_0.51.0-1_all.deb ... Unpacking intltool (0.51.0-1) ... Selecting previously unselected package dh-translations. Preparing to unpack .../dh-translations_121_all.deb ... Unpacking dh-translations (121) ... Selecting previously unselected package python-scour. Preparing to unpack .../python-scour_0.26-3build1_all.deb ... Unpacking python-scour (0.26-3build1) ... Selecting previously unselected package cdbs. Preparing to unpack .../cdbs_0.4.130ubuntu1_all.deb ... Unpacking cdbs (0.4.130ubuntu1) ... Selecting previously unselected package cpphs. Preparing to unpack .../cpphs_1.18.9-1build2_powerpc.deb ... Unpacking cpphs (1.18.9-1build2) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../dctrl-tools_2.24-1_powerpc.deb ... Unpacking dctrl-tools (2.24-1) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../dh-buildinfo_0.11_all.deb ... Unpacking dh-buildinfo (0.11) ... Selecting previously unselected package happy. Preparing to unpack .../happy_1.19.4-3_powerpc.deb ... Unpacking happy (1.19.4-3) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../html-xml-utils_6.9-1_powerpc.deb ... Unpacking html-xml-utils (6.9-1) ... Selecting previously unselected package hscolour. Preparing to unpack .../hscolour_1.22-2build2_powerpc.deb ... Unpacking hscolour (1.22-2build2) ... Selecting previously unselected package ghc-haddock. Preparing to unpack .../ghc-haddock_7.8.4-8_powerpc.deb ... Unpacking ghc-haddock (7.8.4-8) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../haskell-devscripts_0.9.6_all.deb ... Unpacking haskell-devscripts (0.9.6) ... Selecting previously unselected package libghc-text-dev. Preparing to unpack .../libghc-text-dev_1.1.1.3-2build2_powerpc.deb ... Unpacking libghc-text-dev (1.1.1.3-2build2) ... Selecting previously unselected package libghc-polyparse-dev. Preparing to unpack .../libghc-polyparse-dev_1.11-2build2_powerpc.deb ... Unpacking libghc-polyparse-dev (1.11-2build2) ... Selecting previously unselected package zlib1g-dev:powerpc. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2ubuntu1_powerpc.deb ... Unpacking zlib1g-dev:powerpc (1:1.2.8.dfsg-2ubuntu1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../libghc-split-dev_0.2.2-3build2_powerpc.deb ... Unpacking libghc-split-dev (0.2.2-3build2) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../libghc-boxes-dev_0.1.3-3build2_powerpc.deb ... Unpacking libghc-boxes-dev (0.1.3-3build2) ... Selecting previously unselected package libghc-cpphs-dev. Preparing to unpack .../libghc-cpphs-dev_1.18.9-1build2_powerpc.deb ... Unpacking libghc-cpphs-dev (1.18.9-1build2) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-3build2_powerpc.deb ... Unpacking libghc-data-hash-dev (0.2.0.0-3build2) ... Selecting previously unselected package libghc-mtl-dev. Preparing to unpack .../libghc-mtl-dev_2.1.3.1-3build2_powerpc.deb ... Unpacking libghc-mtl-dev (2.1.3.1-3build2) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-3build2_powerpc.deb ... Unpacking libghc-stmonadtrans-dev (0.3.2-3build2) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../libghc-equivalence-dev_0.2.5-3build2_powerpc.deb ... Unpacking libghc-equivalence-dev (0.2.5-3build2) ... Selecting previously unselected package libghc-geniplate-dev. Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-3build2_powerpc.deb ... Unpacking libghc-geniplate-dev (0.6.0.4-3build2) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../libghc-hashable-dev_1.2.3.2-3build2_powerpc.deb ... Unpacking libghc-hashable-dev (1.2.3.2-3build2) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../libghc-primitive-dev_0.5.4.0-2build2_powerpc.deb ... Unpacking libghc-primitive-dev (0.5.4.0-2build2) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../libghc-vector-dev_0.10.12.3-2build2_powerpc.deb ... Unpacking libghc-vector-dev (0.10.12.3-2build2) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../libghc-hashtables-dev_1.1.2.1-2build2_powerpc.deb ... Unpacking libghc-hashtables-dev (1.1.2.1-2build2) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../libghc-parallel-dev_3.2.0.6-2build2_powerpc.deb ... Unpacking libghc-parallel-dev (3.2.0.6-2build2) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../libghc-random-dev_1.0.1.1-5build2_powerpc.deb ... Unpacking libghc-random-dev (1.0.1.1-5build2) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../libghc-tf-random-dev_0.5-3build2_powerpc.deb ... Unpacking libghc-tf-random-dev (0.5-3build2) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-7build2_powerpc.deb ... Unpacking libghc-quickcheck2-dev (2.7.6-7build2) ... Selecting previously unselected package libghc-src-exts-dev. Preparing to unpack .../libghc-src-exts-dev_1.16.0.1-3build2_powerpc.deb ... Unpacking libghc-src-exts-dev (1.16.0.1-3build2) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../libghc-strict-dev_0.3.2-9build2_powerpc.deb ... Unpacking libghc-strict-dev (0.3.2-9build2) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.1-2build1_powerpc.deb ... Unpacking libghc-unordered-containers-dev (0.2.5.1-2build1) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../libghc-zlib-dev_0.5.4.2-2build2_powerpc.deb ... Unpacking libghc-zlib-dev (0.5.4.2-2build2) ... Setting up libbsd0:powerpc (0.7.0-2) ... Setting up libexpat1:powerpc (2.1.0-6ubuntu1) ... Setting up libasprintf0c2:powerpc (0.19.2-2ubuntu1) ... Setting up libglib2.0-0:powerpc (2.45.1-2) ... No schema files found: doing nothing. Setting up libpipeline1:powerpc (1.4.0-1) ... Setting up libicu52:powerpc (52.1-9) ... Setting up libxml2:powerpc (2.9.2+dfsg1-3) ... Setting up groff-base (1.22.3-1) ... Setting up bsdmainutils (9.0.6ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.7.0.2-5) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:powerpc (0.6.8-3) ... Setting up libgmpxx4ldbl:powerpc (2:6.0.0+dfsg-6ubuntu1) ... Setting up libsigsegv2:powerpc (2.10-4) ... Setting up libunistring0:powerpc (0.9.3-5.2ubuntu1) ... Setting up mime-support (3.58ubuntu1) ... Setting up libpython2.7-stdlib:powerpc (2.7.10-2) ... Setting up python2.7 (2.7.10-2) ... Setting up libpython-stdlib:powerpc (2.7.9-1) ... Setting up python (2.7.9-1) ... Setting up libgmp-dev:powerpc (2:6.0.0+dfsg-6ubuntu1) ... Setting up libffi-dev:powerpc (3.2.1-2) ... Setting up libbsd-dev:powerpc (0.7.0-2) ... Setting up libtinfo-dev:powerpc (5.9+20140712-2ubuntu2) ... Setting up libncurses5-dev:powerpc (5.9+20140712-2ubuntu2) ... Setting up ghc (7.8.4-8) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up libmagic1:powerpc (1:5.22+15-2ubuntu1) ... Setting up file (1:5.22+15-2ubuntu1) ... Setting up netbase (5.3) ... Setting up gettext-base (0.19.2-2ubuntu1) ... Setting up alex (3.1.4-2) ... Setting up m4 (1.4.17-4) ... Setting up autoconf (2.69-8) ... Setting up autotools-dev (20140911.1) ... Setting up automake (1:1.14.1-3ubuntu1) ... update-alternatives: using /usr/bin/automake-1.14 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.2-2ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.2) ... Setting up po-debconf (1.0.18) ... Setting up dh-apparmor (2.9.2-0ubuntu1) ... Setting up debhelper (9.20150507ubuntu1) ... Setting up liburi-perl (1.64-1) ... Setting up libencode-locale-perl (1.03-1) ... Setting up libhttp-date-perl (6.02-1) ... Setting up libfile-listing-perl (6.04-1) ... Setting up libhtml-tagset-perl (3.20-2) ... Setting up libhtml-parser-perl (3.71-1build2) ... Setting up libhtml-tree-perl (5.03-1) ... Setting up libio-html-perl (1.001-1) ... Setting up liblwp-mediatypes-perl (6.02-1) ... Setting up libhttp-message-perl (6.06-1) ... Setting up libhttp-cookies-perl (6.01-1) ... Setting up libhttp-negotiate-perl (6.00-2) ... Setting up libnet-ssleay-perl (1.68-1) ... Setting up libio-socket-ssl-perl (1.965-1ubuntu1) ... Setting up libnet-http-perl (6.07-1) ... Setting up libwww-robotrules-perl (6.01-1) ... Setting up python-scour (0.26-3build1) ... Setting up cpphs (1.18.9-1build2) ... Setting up dctrl-tools (2.24-1) ... Setting up dh-buildinfo (0.11) ... Setting up happy (1.19.4-3) ... Setting up html-xml-utils (6.9-1) ... Setting up hscolour (1.22-2build2) ... Setting up ghc-haddock (7.8.4-8) ... Setting up libghc-text-dev (1.1.1.3-2build2) ... Setting up libghc-polyparse-dev (1.11-2build2) ... Setting up zlib1g-dev:powerpc (1:1.2.8.dfsg-2ubuntu1) ... Setting up libghc-split-dev (0.2.2-3build2) ... Setting up libghc-boxes-dev (0.1.3-3build2) ... Setting up libghc-cpphs-dev (1.18.9-1build2) ... Setting up libghc-data-hash-dev (0.2.0.0-3build2) ... Setting up libghc-mtl-dev (2.1.3.1-3build2) ... Setting up libghc-stmonadtrans-dev (0.3.2-3build2) ... Setting up libghc-equivalence-dev (0.2.5-3build2) ... Setting up libghc-geniplate-dev (0.6.0.4-3build2) ... Setting up libghc-hashable-dev (1.2.3.2-3build2) ... Setting up libghc-primitive-dev (0.5.4.0-2build2) ... Setting up libghc-vector-dev (0.10.12.3-2build2) ... Setting up libghc-hashtables-dev (1.1.2.1-2build2) ... Setting up libghc-parallel-dev (3.2.0.6-2build2) ... Setting up libghc-random-dev (1.0.1.1-5build2) ... Setting up libghc-tf-random-dev (0.5-3build2) ... Setting up libghc-quickcheck2-dev (2.7.6-7build2) ... Setting up libghc-src-exts-dev (1.16.0.1-3build2) ... Setting up libghc-strict-dev (0.3.2-9build2) ... Setting up libghc-unordered-containers-dev (0.2.5.1-2build1) ... Setting up libghc-zlib-dev (0.5.4.2-2build2) ... Setting up liblwp-protocol-https-perl (6.06-2) ... Setting up libwww-perl (6.08-1) ... Setting up libxml-parser-perl (2.41-3) ... Setting up intltool (0.51.0-1) ... Setting up dh-translations (121) ... Setting up cdbs (0.4.130ubuntu1) ... Setting up haskell-devscripts (0.9.6) ... Processing triggers for libc-bin (2.21-0ubuntu4) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.21-0ubuntu4 make_4.0-8.1 dpkg-dev_1.17.25ubuntu1 gcc-4.9_4.9.2-20ubuntu1 g++-4.9_4.9.2-20ubuntu1 binutils_2.25-8ubuntu1 libstdc++-4.9-dev_4.9.2-20ubuntu1 libstdc++6_5.1.1-9ubuntu2 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Wed May 20 12:21:21 2015 UTC using RSA key ID 1C5041D4 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda_2.4.2.2-2.dsc dpkg-source: info: extracting agda in agda-2.4.2.2 dpkg-source: info: unpacking agda_2.4.2.2.orig.tar.gz dpkg-source: info: unpacking agda_2.4.2.2-2.debian.tar.xz dpkg-buildpackage: source package agda dpkg-buildpackage: source version 2.4.2.2-2 dpkg-buildpackage: source distribution unstable dpkg-source --before-build agda-2.4.2.2 dpkg-buildpackage: host architecture powerpc /usr/bin/fakeroot debian/rules clean test -x debian/rules dh_clean . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ clean_recipe Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\* Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs Running rm -f debian/libghc-agda-doc.links debian/libghcjs-agda-doc.links Running rm -f debian/hlibrary.Makefile Running rm -rf debian/dh_haskell_shlibdeps debian/rules build-arch test -x debian/rules mkdir -p "." /usr/share/cdbs/1/rules/buildcore.mk:110: CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ make_setup_recipe Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ configure_recipe Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-Bsymbolic-functions --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.4.2.2/ --datasubdir=agda --htmldir=/usr/share/doc/libghc-agda-doc/html/ --datadir=/usr/share --datasubdir=libghc-agda-dev Configuring Agda-2.4.2.2... Flags chosen: epic=False, cpphs=True Dependency Agda ==2.4.2.2: using Agda-2.4.2.2 Dependency QuickCheck >=2.7.5 && <2.8: using QuickCheck-2.7.6 Dependency STMonadTrans >=0.3.2 && <0.4: using STMonadTrans-0.3.2 Dependency array >=0.1 && <0.6: using array-0.5.0.0 Dependency base >=4.2 && <4.8: using base-4.7.0.2 Dependency binary >=0.6 && <0.8: using binary-0.7.1.0 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.3 Dependency bytestring >=0.9.0.1 && <0.11: using bytestring-0.10.4.0 Dependency containers >=0.1 && <0.6: using containers-0.5.5.1 Dependency data-hash ==0.2.0.0: using data-hash-0.2.0.0 Dependency deepseq ==1.3.*: using deepseq-1.3.0.2 Dependency directory ==1.2.*: using directory-1.2.1.0 Dependency equivalence >=0.2.5 && <0.3: using equivalence-0.2.5 Dependency filepath >=1.1 && <1.4: using filepath-1.3.0.2 Dependency geniplate >=0.6.0.3 && <0.7: using geniplate-0.6.0.4 Dependency hashable >=1.1.2.3 && <1.2 || >=1.2.1.0 && <1.3: using hashable-1.2.3.2 Dependency hashtables >=1.0 && <1.2: using hashtables-1.1.2.1 Dependency haskeline ==0.7.*: using haskeline-0.7.1.2 Dependency haskell-src-exts >=1.9.6 && <1.17: using haskell-src-exts-1.16.0.1 Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.1.3.1 Dependency parallel <3.3: using parallel-3.2.0.6 Dependency pretty >=1.0 && <1.2: using pretty-1.1.1.1 Dependency process >=1.0.1.0 && <1.3: using process-1.2.0.0 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency template-haskell >=2.5 && <2.10: using template-haskell-2.9.0.0 Dependency text >=0.11 && <1.3: using text-1.1.1.3 Dependency time ==1.4.*: using time-1.4.2 Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using transformers-0.3.0.0 Dependency unordered-containers ==0.2.*: using unordered-containers-0.2.5.1 Dependency xhtml ==3000.2.*: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6: using zlib-0.5.4.2 /usr/bin/ghc --info Using Cabal-1.18.1.5 compiled by ghc-7.8 Using compiler: ghc-7.8.4 Using install prefix: /usr Binaries installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2 Configuration files installed in: /usr/etc Using alex version 3.1.4 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found Using cpphs version 1.18.9 found on system at: /usr/bin/cpphs No ffihugs found Using gcc version 4.9.2 found on system at: /usr/bin/gcc Using ghc version 7.8.4 found on system at: /usr/bin/ghc Using ghc-pkg version 7.8.4 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.14.3 found on system at: /usr/bin/haddock Using happy version 1.19.4 found on system at: /usr/bin/happy No hmake found Using hpc version 0.67 found on system at: /usr/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs Using hscolour version 1.22 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Building Agda-2.4.2.2... Preprocessing library Agda-2.4.2.2... [ 1 of 278] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o ) [ 2 of 278] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist-ghc/build/Agda/Utils/IORef.o ) [ 3 of 278] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o ) [ 4 of 278] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o ) [ 5 of 278] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist-ghc/build/Agda/Utils/Cluster.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package zlib-0.5.4.2 ... linking ... done. Loading package xhtml-3000.2.1 ... linking ... done. Loading package text-1.1.1.3 ... linking ... done. Loading package hashable-1.2.3.2 ... linking ... done. Loading package unordered-containers-0.2.5.1 ... linking ... done. Loading package strict-0.3.2 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package parallel-3.2.0.6 ... linking ... done. Loading package old-time-1.1.0.2 ... linking ... done. Loading package polyparse-1.11 ... linking ... done. Loading package cpphs-1.18.9 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package haskell-src-exts-1.16.0.1 ... linking ... done. Loading package terminfo-0.4.0.0 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package haskeline-0.7.1.2 ... linking ... done. Loading package primitive-0.5.4.0 ... linking ... done. Loading package vector-0.10.12.3 ... linking ... done. Loading package hashtables-1.1.2.1 ... linking ... done. Loading package mtl-2.1.3.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package geniplate-0.6.0.4 ... linking ... done. Loading package STMonadTrans-0.3.2 ... linking ... done. Loading package equivalence-0.2.5 ... linking ... done. Loading package data-hash-0.2.0.0 ... linking ... done. Loading package split-0.2.2 ... linking ... done. Loading package boxes-0.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package random-1.0.1.1 ... linking ... done. Loading package tf-random-0.5 ... linking ... done. Loading package QuickCheck-2.7.6 ... linking ... done. [ 6 of 278] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o ) [ 7 of 278] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist-ghc/build/Agda/Utils/Pointed.o ) [ 8 of 278] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o ) [ 9 of 278] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o ) [ 10 of 278] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o ) [ 11 of 278] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o ) [ 12 of 278] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o ) [ 13 of 278] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o ) [ 14 of 278] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o ) [ 15 of 278] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc/build/Agda/Utils/TestHelpers.o ) [ 16 of 278] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc/build/Agda/Utils/QuickCheck.o ) [ 17 of 278] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o ) [ 18 of 278] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o ) [ 19 of 278] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o ) [ 20 of 278] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist-ghc/build/Agda/Utils/ReadP.o ) [ 21 of 278] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o ) [ 22 of 278] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o ) [ 23 of 278] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o ) [ 24 of 278] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o ) [ 25 of 278] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot ) [ 26 of 278] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o ) [ 27 of 278] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist-ghc/build/Agda/Utils/HashMap.o ) [ 28 of 278] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-ghc/build/Agda/Interaction/Response.o-boot ) [ 29 of 278] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o ) [ 30 of 278] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o ) [ 31 of 278] Compiling Agda.Utils.Graph.AdjacencyMap ( src/full/Agda/Utils/Graph/AdjacencyMap.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap.o ) [ 32 of 278] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o ) [ 33 of 278] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o ) [ 34 of 278] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o ) [ 35 of 278] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o ) [ 36 of 278] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o ) [ 37 of 278] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist-ghc/build/Agda/Utils/Empty.o ) [ 38 of 278] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist-ghc/build/Agda/Utils/AssocList.o ) [ 39 of 278] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o ) [ 40 of 278] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o ) [ 41 of 278] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist-ghc/build/Agda/Utils/Bag.o ) [ 42 of 278] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o ) [ 43 of 278] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) [ 44 of 278] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) [ 45 of 278] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Tests.o ) [ 46 of 278] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o ) [ 47 of 278] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o ) [ 48 of 278] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o ) [ 49 of 278] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o ) [ 50 of 278] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o ) [ 51 of 278] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist-ghc/build/Agda/Utils/Except.o ) [ 52 of 278] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o ) [ 53 of 278] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o ) [ 54 of 278] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o ) [ 55 of 278] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o ) [ 56 of 278] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o ) [ 57 of 278] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o ) [ 58 of 278] Compiling Agda.TypeChecking.Monad.Base.Benchmark ( src/full/Agda/TypeChecking/Monad/Base/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/Benchmark.o ) [ 59 of 278] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o ) [ 60 of 278] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o ) [ 61 of 278] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o ) [ 62 of 278] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o ) [ 63 of 278] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o ) [ 64 of 278] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o ) [ 65 of 278] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o ) [ 66 of 278] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o ) [ 67 of 278] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o ) [ 68 of 278] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o ) [ 69 of 278] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o ) [ 70 of 278] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist-ghc/build/Agda/Compiler/JS/Case.o ) [ 71 of 278] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist-ghc/build/Agda/Compiler/JS/Parser.o ) [ 72 of 278] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o ) [ 73 of 278] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o ) [ 74 of 278] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o ) [ 75 of 278] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o ) [ 76 of 278] Compiling Agda.Utils.Permutation.Tests ( src/full/Agda/Utils/Permutation/Tests.hs, dist-ghc/build/Agda/Utils/Permutation/Tests.o ) [ 77 of 278] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o ) [ 78 of 278] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o ) [ 79 of 278] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o ) [ 80 of 278] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o ) [ 81 of 278] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o ) [ 82 of 278] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist-ghc/build/Agda/Utils/Lens.o ) [ 83 of 278] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o ) [ 84 of 278] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o ) [ 85 of 278] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist-ghc/build/Agda/Utils/Lens/Examples.o ) [ 86 of 278] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o ) [ 87 of 278] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o ) [ 88 of 278] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o ) [ 89 of 278] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o ) [ 90 of 278] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot ) [ 91 of 278] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot ) [ 92 of 278] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o ) [ 93 of 278] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o ) [ 94 of 278] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o ) [ 95 of 278] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o ) [ 96 of 278] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o ) [ 97 of 278] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o ) [ 98 of 278] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o ) [ 99 of 278] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o ) [100 of 278] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o ) [101 of 278] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o ) [102 of 278] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist-ghc/build/Agda/Utils/Geniplate.o ) [103 of 278] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o ) [104 of 278] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o ) [105 of 278] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o ) [106 of 278] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o ) [107 of 278] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist-ghc/build/Agda/Compiler/Epic/Interface.o ) [108 of 278] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist-ghc/build/Agda/Compiler/Epic/AuxAST.o ) [109 of 278] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o ) [110 of 278] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o ) [111 of 278] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o ) [112 of 278] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o ) [113 of 278] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o ) [114 of 278] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o ) [115 of 278] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o ) [116 of 278] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o ) [117 of 278] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o ) [118 of 278] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o ) [119 of 278] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc/build/Agda/Interaction/Exceptions.o ) [120 of 278] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o ) [121 of 278] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot ) [122 of 278] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot ) [123 of 278] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot ) [124 of 278] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o ) [125 of 278] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Abstract.o ) [126 of 278] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc/build/Agda/TypeChecking/Test/Generators.o ) [127 of 278] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o ) [128 of 278] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot ) [129 of 278] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o ) [130 of 278] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot ) [131 of 278] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot ) [132 of 278] Compiling Agda.TypeChecking.Monad.Base.KillRange ( src/full/Agda/TypeChecking/Monad/Base/KillRange.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/KillRange.o ) [133 of 278] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o ) [134 of 278] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o ) [135 of 278] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o ) [136 of 278] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o ) [137 of 278] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o ) [138 of 278] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [139 of 278] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o ) [140 of 278] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist-ghc/build/Agda/TypeChecking/Monad/Sharing.o ) [141 of 278] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist-ghc/build/Agda/Syntax/Abstract/Copatterns.o ) [142 of 278] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o ) [143 of 278] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o ) [144 of 278] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o ) [145 of 278] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o ) [146 of 278] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot ) [147 of 278] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot ) [148 of 278] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) [149 of 278] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o-boot ) [150 of 278] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o ) [151 of 278] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot ) [152 of 278] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o ) [153 of 278] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc/build/Agda/TypeChecking/Monad/Exception.o ) [154 of 278] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot ) [155 of 278] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o ) [156 of 278] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o ) [157 of 278] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o ) [158 of 278] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o ) [159 of 278] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) [160 of 278] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o ) [161 of 278] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o ) [162 of 278] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o ) [163 of 278] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot ) [164 of 278] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o ) [165 of 278] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o ) [166 of 278] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o ) [167 of 278] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o ) [168 of 278] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o ) [169 of 278] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o ) [170 of 278] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [171 of 278] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot ) [172 of 278] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot ) [173 of 278] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o ) [174 of 278] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot ) [175 of 278] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o ) [176 of 278] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o ) [177 of 278] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist-ghc/build/Agda/Compiler/CallCompiler.o ) [178 of 278] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist-ghc/build/Agda/Interaction/Highlighting/LaTeX.o ) [179 of 278] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc/build/Agda/TypeChecking/Serialise.o ) [180 of 278] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Misc.o ) [181 of 278] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Encode.o ) [182 of 278] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pretty.o ) [183 of 278] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o ) [184 of 278] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o ) [185 of 278] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist-ghc/build/Agda/Termination/RecCheck.o ) [186 of 278] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot ) [187 of 278] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Monad.o ) [188 of 278] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o ) [189 of 278] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) [190 of 278] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot ) [191 of 278] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist-ghc/build/Agda/TypeChecking/Forcing.o ) [192 of 278] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o ) [193 of 278] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Abstract.o ) [194 of 278] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot ) [195 of 278] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o ) [196 of 278] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o ) [197 of 278] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o ) [198 of 278] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc/build/Agda/TypeChecking/Tests.o ) [199 of 278] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist-ghc/build/Agda/Compiler/Epic/CompileState.o ) [200 of 278] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist-ghc/build/Agda/Compiler/Epic/CaseOpts.o ) [201 of 278] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist-ghc/build/Agda/Compiler/Epic/ForceConstrs.o ) [202 of 278] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist-ghc/build/Agda/Compiler/Epic/Epic.o ) [203 of 278] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist-ghc/build/Agda/Compiler/Epic/NatDetection.o ) [204 of 278] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist-ghc/build/Agda/Compiler/Epic/Primitive.o ) [205 of 278] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o ) [206 of 278] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o ) [207 of 278] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o ) [208 of 278] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o ) [209 of 278] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o ) [210 of 278] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o ) [211 of 278] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/HaskellTypes.o ) [212 of 278] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist-ghc/build/Agda/Compiler/Epic/Erasure.o ) [213 of 278] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist-ghc/build/Agda/Compiler/Epic/Injection.o ) [214 of 278] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist-ghc/build/Agda/Compiler/Epic/Smashing.o ) [215 of 278] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [216 of 278] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist-ghc/build/Agda/Termination/Monad.o ) [217 of 278] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist-ghc/build/Agda/Compiler/Epic/Static.o ) [218 of 278] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist-ghc/build/Agda/Compiler/Epic/FromAgda.o ) [219 of 278] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Primitives.o ) [220 of 278] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist-ghc/build/Agda/Termination/Inlining.o ) [221 of 278] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o ) [222 of 278] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o ) [223 of 278] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o ) [224 of 278] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o ) [225 of 278] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o ) [226 of 278] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o ) [227 of 278] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o ) [228 of 278] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o ) [229 of 278] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o ) [230 of 278] Compiling Agda.Tests ( src/full/Agda/Tests.hs, dist-ghc/build/Agda/Tests.o ) [231 of 278] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist-ghc/build/Agda/TypeChecking/SyntacticEquality.o ) [232 of 278] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o ) [233 of 278] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o ) [234 of 278] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Instantiate.o ) [235 of 278] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o ) [236 of 278] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o ) [237 of 278] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o ) [238 of 278] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o ) [239 of 278] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o ) [240 of 278] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc/build/Agda/TypeChecking/Injectivity.o ) [241 of 278] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc/build/Agda/TypeChecking/Conversion.o ) [242 of 278] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [243 of 278] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist-ghc/build/Agda/Compiler/Epic/Forcing.o ) [244 of 278] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist-ghc/build/Agda/TypeChecking/CheckInternal.o ) [245 of 278] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot ) [246 of 278] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc/build/Agda/TypeChecking/Rules/Data.o ) [247 of 278] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Solve.o ) [248 of 278] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist-ghc/build/Agda/TypeChecking/Unquote.o ) [249 of 278] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot ) [250 of 278] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Split.o ) [251 of 278] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [252 of 278] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc/build/Agda/TypeChecking/With.o ) [253 of 278] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o ) [254 of 278] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS.o ) [255 of 278] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc/build/Agda/TypeChecking/Coverage.o ) [256 of 278] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o ) [257 of 278] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc/build/Agda/TypeChecking/Empty.o ) [258 of 278] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o ) [259 of 278] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc/build/Agda/TypeChecking/Rules/Record.o ) [260 of 278] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc/build/Agda/TypeChecking/Rules/Def.o ) [261 of 278] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist-ghc/build/Agda/TypeChecking/Rewriting.o-boot ) [262 of 278] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist-ghc/build/Agda/TypeChecking/Rewriting.o ) [263 of 278] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin.o ) [264 of 278] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o ) [265 of 278] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist-ghc/build/Agda/TheTypeChecker.o ) [266 of 278] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc/build/Agda/Interaction/Imports.o ) [267 of 278] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o ) [268 of 278] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist-ghc/build/Agda/Compiler/Epic/Compiler.o ) [269 of 278] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist-ghc/build/Agda/Compiler/JS/Compiler.o ) [270 of 278] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc/build/Agda/Interaction/BasicOps.o ) [271 of 278] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist-ghc/build/Agda/Interaction/CommandLine/CommandLine.o ) [272 of 278] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc/build/Agda/Interaction/MakeCase.o ) [273 of 278] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o ) [274 of 278] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o ) [275 of 278] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist-ghc/build/Agda/Auto/Auto.o ) [276 of 278] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist-ghc/build/Agda/Interaction/InteractionTop.o ) [277 of 278] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist-ghc/build/Agda/Interaction/EmacsTop.o ) [278 of 278] Compiling Agda.Main ( src/full/Agda/Main.hs, dist-ghc/build/Agda/Main.o ) In-place registering Agda-2.4.2.2... Preprocessing executable 'agda' for Agda-2.4.2.2... [1 of 1] Compiling Main ( src/main/Main.hs, dist-ghc/build/agda/agda-tmp/Main.o ) Linking dist-ghc/build/agda/agda ... Preprocessing executable 'agda-mode' for Agda-2.4.2.2... [1 of 2] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Main.o ) Linking dist-ghc/build/agda-mode/agda-mode ... touch build-ghc-stamp DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp /usr/bin/fakeroot debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." /usr/share/cdbs/1/rules/buildcore.mk:110: CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 Adding cdbs dependencies to debian/libghc-agda-dev.substvars dh_installdirs -plibghc-agda-dev debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2 Installing executable(s) in debian/tmp-inst-ghc/usr/bin Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search path. . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc Agda-2.4.2.2.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_dev_recipe "libghc-agda-dev" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \( \! -name \*_p.a \! -name \*.p_hi \! -type d \) -exec install -Dm 644 \{\} ../libghc-agda-dev/\{\} \; Running install -Dm 644 Agda-2.4.2.2.conf debian/libghc-agda-dev/var/lib/ghc/package.conf.d/Agda-2.4.2.2.conf Running rm -f Agda-2.4.2.2.conf Running dh_haskell_provides -plibghc-agda-dev Running dh_haskell_depends -plibghc-agda-dev Running dh_haskell_shlibdeps -plibghc-agda-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs "ghc" -plibghc-agda-dev Agda_datadir=/build/buildd/agda-2.4.2.2/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \ debian/tmp-inst-ghc/usr/bin/agda \ /build/buildd/agda-2.4.2.2/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -v0 Adding cdbs dependencies to debian/agda-bin.substvars dh_installdirs -pagda-bin dh_haskell_blurbs "ghc" -pagda-bin dh_installdocs -plibghc-agda-dev dh_installexamples -plibghc-agda-dev dh_installman -plibghc-agda-dev dh_installinfo -plibghc-agda-dev dh_installmenu -plibghc-agda-dev dh_installcron -plibghc-agda-dev dh_installinit -plibghc-agda-dev dh_installdebconf -plibghc-agda-dev dh_installemacsen -plibghc-agda-dev dh_installcatalogs -plibghc-agda-dev dh_installpam -plibghc-agda-dev dh_installlogrotate -plibghc-agda-dev dh_installlogcheck -plibghc-agda-dev dh_installchangelogs -plibghc-agda-dev ./CHANGELOG dh_installudev -plibghc-agda-dev dh_lintian -plibghc-agda-dev dh_bugfiles -plibghc-agda-dev dh_install -plibghc-agda-dev dh_link -plibghc-agda-dev dh_buildinfo -plibghc-agda-dev dh_installmime -plibghc-agda-dev dh_installgsettings -plibghc-agda-dev dh_installdocs -pagda-bin dh_installexamples -pagda-bin dh_installman -pagda-bin dh_installinfo -pagda-bin dh_installmenu -pagda-bin dh_installcron -pagda-bin dh_installinit -pagda-bin dh_installdebconf -pagda-bin dh_installemacsen -pagda-bin dh_installcatalogs -pagda-bin dh_installpam -pagda-bin dh_installlogrotate -pagda-bin dh_installlogcheck -pagda-bin dh_installchangelogs -pagda-bin ./CHANGELOG dh_installudev -pagda-bin dh_lintian -pagda-bin dh_bugfiles -pagda-bin dh_install -pagda-bin dh_link -pagda-bin dh_buildinfo -pagda-bin dh_installmime -pagda-bin dh_installgsettings -pagda-bin dh_strip -plibghc-agda-dev dh_strip debug symbol extraction: enabling -a due to Build-Debug-Symbols: yes in /CurrentlyBuilding dh_strip debug symbol extraction: all non-arch-all packages for this build platform powerpc: libghc-agda-dev agda-bin dh_strip debug symbol extraction: packages to act on: libghc-agda-dev dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 libghc-agda-dev has no unstripped objects, ignoring find: `/build/buildd/agda-2.4.2.2/debian/libghc-agda-dev-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/agda-2.4.2.2/debian/libghc-agda-dev-dbgsym and no dbgdepends, ignoring dh_compress -plibghc-agda-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-agda-dev dh_makeshlibs -plibghc-agda-dev -XlibHS dh_strip -pagda-bin dh_strip debug symbol extraction: enabling -a due to Build-Debug-Symbols: yes in /CurrentlyBuilding dh_strip debug symbol extraction: all non-arch-all packages for this build platform powerpc: libghc-agda-dev agda-bin dh_strip debug symbol extraction: packages to act on: agda-bin dh_strip debug symbol extraction: ignored packages: Using buildid for compat level >= 9 agda-bin has no unstripped objects, ignoring find: `/build/buildd/agda-2.4.2.2/debian/agda-bin-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/agda-2.4.2.2/debian/agda-bin-dbgsym and no dbgdepends, ignoring dh_compress -pagda-bin -X .haddock -X .hs -X .txt dh_fixperms -pagda-bin dh_makeshlibs -pagda-bin -XlibHS dh_installdeb -plibghc-agda-dev dh_perl -plibghc-agda-dev dh_shlibdeps -plibghc-agda-dev -XlibHS dh_installdeb -pagda-bin dh_perl -pagda-bin dh_shlibdeps -pagda-bin -XlibHS dh_gencontrol -plibghc-agda-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: package libghc-agda-dev: unused substitution variable ${haskell:ghc-version} dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform powerpc: libghc-agda-dev agda-bin dh_gencontrol debug symbol wrapper: packages to act on: libghc-agda-dev dh_gencontrol debug symbol wrapper: ignored packages: dh_gencontrol debug symbol wrapper: no debian/libghc-agda-dev-dbgsym, skipping package libghc-agda-dev # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-agda-dev ; fi dh_md5sums -plibghc-agda-dev dh_builddeb -plibghc-agda-dev INFO: pkgstriptranslations version 121 pkgstriptranslations: processing libghc-agda-dev (in debian/libghc-agda-dev); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/libghc-agda-dev/DEBIAN/control, package libghc-agda-dev, directory debian/libghc-agda-dev .. removing usr/share/doc/libghc-agda-dev/buildinfo_powerpc.gz .. removing usr/share/doc/libghc-agda-dev/changelog.gz pkgstripfiles: Truncating usr/share/doc/libghc-agda-dev/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package libghc-agda-dev took 0 s dpkg-deb: building package `libghc-agda-dev' in `../libghc-agda-dev_2.4.2.2-2_powerpc.deb'. dh_gencontrol -pagda-bin dpkg-gencontrol: warning: Depends field of package agda-bin: unknown substitution variable ${haskell:Depends} dpkg-gencontrol: warning: Recommends field of package agda-bin: unknown substitution variable ${haskell:Recommends} dpkg-gencontrol: warning: Suggests field of package agda-bin: unknown substitution variable ${haskell:Suggests} dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dpkg-gencontrol: warning: package agda-bin: unused substitution variable ${haskell:ghc-version} dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform powerpc: libghc-agda-dev agda-bin dh_gencontrol debug symbol wrapper: packages to act on: agda-bin dh_gencontrol debug symbol wrapper: ignored packages: dh_gencontrol debug symbol wrapper: no debian/agda-bin-dbgsym, skipping package agda-bin # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -pagda-bin ; fi dh_md5sums -pagda-bin dh_builddeb -pagda-bin INFO: pkgstriptranslations version 121 pkgstriptranslations: processing agda-bin (in debian/agda-bin); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/agda-bin/DEBIAN/control, package agda-bin, directory debian/agda-bin .. removing usr/share/doc/agda-bin/buildinfo_powerpc.gz .. removing usr/share/doc/agda-bin/changelog.gz pkgstripfiles: Truncating usr/share/doc/agda-bin/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package agda-bin took 0 s dpkg-deb: building package `agda-bin' in `../agda-bin_2.4.2.2-2_powerpc.deb'. dpkg-genchanges -B -mUbuntu/powerpc Build Daemon >../agda_2.4.2.2-2_powerpc.changes dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build agda-2.4.2.2 dpkg-buildpackage: binary-only upload (no source included) ****************************************************************************** Build finished at 20150605-0924 chroot-autobuild/build/buildd/libghc-agda-dev_2.4.2.2-2_powerpc.deb: new debian package, version 2.0. size 6573514 bytes: control archive= 9918 bytes. 2454 bytes, 29 lines control 34211 bytes, 258 lines md5sums Package: libghc-agda-dev Source: agda Version: 2.4.2.2-2 Architecture: powerpc Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Installed-Size: 55890 Depends: libc6 (>= 2.0), libghc-quickcheck-dev-2.7.6-836db, libghc-stmonadtrans-dev-0.3.2-d7944, libghc-array-dev-0.5.0.0-7c503, libghc-base-dev-4.7.0.2-9c63b, libghc-binary-dev-0.7.1.0-0f9fe, libghc-boxes-dev-0.1.3-0ec51, libghc-bytestring-dev-0.10.4.0-4b746, libghc-containers-dev-0.5.5.1-949b6, libghc-data-hash-dev-0.2.0.0-29ddc, libghc-deepseq-dev-1.3.0.2-02a5b, libghc-directory-dev-1.2.1.0-c0eab, libghc-equivalence-dev-0.2.5-1b4df, libghc-filepath-dev-1.3.0.2-eb7d6, libghc-geniplate-dev-0.6.0.4-010ce, libghc-hashable-dev-1.2.3.2-095c0, libghc-hashtables-dev-1.1.2.1-70d5f, libghc-haskeline-dev-0.7.1.2-b5957, libghc-haskell-src-exts-dev-1.16.0.1-2cecc, libghc-mtl-dev-2.1.3.1-28369, libghc-parallel-dev-3.2.0.6-b03b0, libghc-pretty-dev-1.1.1.1-54331, libghc-process-dev-1.2.0.0-8fc8d, libghc-strict-dev-0.3.2-282e4, libghc-template-haskell-dev-2.9.0.0-8915a, libghc-text-dev-1.1.1.3-c3d02, libghc-time-dev-1.4.2-5f291, libghc-transformers-dev-0.3.0.0-ccc5b, libghc-unordered-containers-dev-0.2.5.1-a342c, libghc-xhtml-dev-3000.2.1-06e12, libghc-zlib-dev-0.5.4.2-21501 Suggests: libghc-agda-doc Provides: libghc-agda-dev-2.4.2.2-72ba3 Section: haskell Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: dependently typed functional programming language Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell. Ghc-Package: Agda-2.4.2.2-72ba35dbf1b8a153868c49b20b2c8d43 chroot-autobuild/build/buildd/agda-bin_2.4.2.2-2_powerpc.deb: new debian package, version 2.0. size 4027360 bytes: control archive= 1184 bytes. 1451 bytes, 29 lines control 191 bytes, 3 lines md5sums Package: agda-bin Source: agda Version: 2.4.2.2-2 Architecture: powerpc Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Installed-Size: 33016 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.4.2.2), libghc-agda-dev (<< 2.4.2.2+~) Suggests: agda-mode Section: haskell Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. chroot-autobuild/build/buildd/libghc-agda-dev_2.4.2.2-2_powerpc.deb: drwxr-xr-x root/root 0 2015-06-05 09:24 ./ drwxr-xr-x root/root 0 2015-06-05 09:24 ./var/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./var/lib/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./var/lib/ghc/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./var/lib/ghc/package.conf.d/ -rw-r--r-- root/root 13353 2015-06-05 09:24 ./var/lib/ghc/package.conf.d/Agda-2.4.2.2.conf drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/ -rw-r--r-- root/root 8189 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Paths_Agda.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/ -rw-r--r-- root/root 1039 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/ImpossibleTest.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/ -rw-r--r-- root/root 32781 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Polarity.hi -rw-r--r-- root/root 17442 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/With.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Test/ -rw-r--r-- root/root 117051 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Test/Generators.hi -rw-r--r-- root/root 19754 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Quote.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Coverage/ -rw-r--r-- root/root 17911 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Coverage/SplitTree.hi -rw-r--r-- root/root 19218 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Coverage/Match.hi -rw-r--r-- root/root 13614 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/CheckInternal.hi -rw-r--r-- root/root 52197 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Constraints.hi -rw-r--r-- root/root 21524 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rewriting.hi -rw-r--r-- root/root 203910 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Primitive.hi -rw-r--r-- root/root 164874 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Substitute.hi -rw-r--r-- root/root 20054 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Injectivity.hi -rw-r--r-- root/root 16901 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Implicit.hi -rw-r--r-- root/root 83619 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Pretty.hi -rw-r--r-- root/root 205069 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Reduce.hi -rw-r--r-- root/root 72547 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Positivity.hi -rw-r--r-- root/root 66534 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Records.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/ -rw-r--r-- root/root 90316 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Signature.hi -rw-r--r-- root/root 68531 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Options.hi -rw-r--r-- root/root 25089 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Imports.hi -rw-r--r-- root/root 30130 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Env.hi -rw-r--r-- root/root 33957 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Constraints.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Base/ -rw-r--r-- root/root 16983 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Base/Benchmark.hi -rw-r--r-- root/root 22597 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Base/KillRange.hi -rw-r--r-- root/root 11369 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Statistics.hi -rw-r--r-- root/root 7198 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Closure.hi -rw-r--r-- root/root 39732 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Exception.hi -rw-r--r-- root/root 86999 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Context.hi -rw-r--r-- root/root 17464 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Trace.hi -rw-r--r-- root/root 75641 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/State.hi -rw-r--r-- root/root 17305 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Sharing.hi -rw-r--r-- root/root 461413 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Base.hi -rw-r--r-- root/root 46923 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/SizedTypes.hi -rw-r--r-- root/root 11481 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Open.hi -rw-r--r-- root/root 1197 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Debug.hi -rw-r--r-- root/root 79210 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Builtin.hi -rw-r--r-- root/root 80692 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/MetaVars.hi -rw-r--r-- root/root 20798 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Benchmark.hi -rw-r--r-- root/root 25408 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad/Mutual.hi -rw-r--r-- root/root 20087 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Irrelevance.hi -rw-r--r-- root/root 22186 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/DisplayForm.hi -rw-r--r-- root/root 39445 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Errors.hi -rw-r--r-- root/root 28240 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Datatypes.hi -rw-r--r-- root/root 35457 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Free.hi -rw-r--r-- root/root 19828 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Tests.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/ -rw-r--r-- root/root 17357 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Record.hi -rw-r--r-- root/root 29602 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Def.hi -rw-r--r-- root/root 48240 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Decl.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Builtin/ -rw-r--r-- root/root 29032 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Builtin/Coinduction.hi -rw-r--r-- root/root 38864 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS.hi -rw-r--r-- root/root 64251 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Term.hi -rw-r--r-- root/root 22234 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Data.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/ -rw-r--r-- root/root 15698 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/Split.hi -rw-r--r-- root/root 19320 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/Implicit.hi -rw-r--r-- root/root 180882 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/Unify.hi -rw-r--r-- root/root 56657 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/Problem.hi -rw-r--r-- root/root 16358 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/ProblemRest.hi -rw-r--r-- root/root 14496 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/LHS/Instantiate.hi -rw-r--r-- root/root 24776 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Rules/Builtin.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Reduce/ -rw-r--r-- root/root 28703 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Reduce/Monad.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/ -rw-r--r-- root/root 2375 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/Utils.hi -rw-r--r-- root/root 126897 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/WarshallSolver.hi -rw-r--r-- root/root 43166 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/Solve.hi -rw-r--r-- root/root 44550 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/Tests.hi -rw-r--r-- root/root 70225 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes/Syntax.hi -rw-r--r-- root/root 12603 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/DropArgs.hi -rw-r--r-- root/root 28780 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Coverage.hi -rw-r--r-- root/root 77527 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SyntacticEquality.hi -rw-r--r-- root/root 32095 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Level.hi -rw-r--r-- root/root 47521 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/SizedTypes.hi -rw-r--r-- root/root 20065 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Abstract.hi -rw-r--r-- root/root 10509 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Forcing.hi -rw-r--r-- root/root 72126 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Monad.hi -rw-r--r-- root/root 18291 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/ProjectionLike.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Patterns/ -rw-r--r-- root/root 14821 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Patterns/Abstract.hi -rw-r--r-- root/root 18943 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Patterns/Match.hi -rw-r--r-- root/root 36462 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Conversion.hi -rw-r--r-- root/root 29518 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Telescope.hi -rw-r--r-- root/root 690598 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Serialise.hi -rw-r--r-- root/root 28076 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/InstanceArguments.hi -rw-r--r-- root/root 37528 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/RecordPatterns.hi -rw-r--r-- root/root 94179 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/MetaVars.hi -rw-r--r-- root/root 116837 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Unquote.hi -rw-r--r-- root/root 49851 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/CompiledClause.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/CompiledClause/ -rw-r--r-- root/root 15916 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/CompiledClause/Compile.hi -rw-r--r-- root/root 13857 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/CompiledClause/Match.hi -rw-r--r-- root/root 10357 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/Empty.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/MetaVars/ -rw-r--r-- root/root 89547 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/MetaVars/Occurs.hi -rw-r--r-- root/root 20234 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/MetaVars/Mention.hi -rw-r--r-- root/root 18526 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/EtaContract.hi -rw-r--r-- root/root 11472 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TypeChecking/LevelConstraints.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/ -rw-r--r-- root/root 32387 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/SearchControl.hi -rw-r--r-- root/root 55663 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/Convert.hi -rw-r--r-- root/root 51007 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/NarrowingSearch.hi -rw-r--r-- root/root 42002 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/Typecheck.hi -rw-r--r-- root/root 19404 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/Auto.hi -rw-r--r-- root/root 25229 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/CaseSplit.hi -rw-r--r-- root/root 26152 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Auto/Syntax.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/ -rw-r--r-- root/root 75606 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Warshall.hi -rw-r--r-- root/root 19130 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Tuple.hi -rw-r--r-- root/root 76741 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/PartialOrd.hi -rw-r--r-- root/root 15505 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Char.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/IO/ -rw-r--r-- root/root 4639 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/IO/UTF8.hi -rw-r--r-- root/root 1829 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/IO/Binary.hi -rw-r--r-- root/root 9473 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Function.hi -rw-r--r-- root/root 7374 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Suffix.hi -rw-r--r-- root/root 7240 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Lens.hi -rw-r--r-- root/root 6772 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Impossible.hi -rw-r--r-- root/root 27465 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Cluster.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Graph/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Graph/AdjacencyMap/ -rw-r--r-- root/root 118914 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi -rw-r--r-- root/root 82309 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Graph/AdjacencyMap.hi -rw-r--r-- root/root 21605 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Trie.hi -rw-r--r-- root/root 10025 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Pretty.hi -rw-r--r-- root/root 8798 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Either.hi -rw-r--r-- root/root 41943 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/List.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Maybe/ -rw-r--r-- root/root 41476 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Maybe/Strict.hi -rw-r--r-- root/root 1860 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Pointed.hi -rw-r--r-- root/root 11663 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Size.hi -rw-r--r-- root/root 8947 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Map.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Permutation/ -rw-r--r-- root/root 29259 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Permutation/Tests.hi -rw-r--r-- root/root 8050 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/String.hi -rw-r--r-- root/root 16839 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/FileName.hi -rw-r--r-- root/root 47508 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Update.hi -rw-r--r-- root/root 16812 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/TestHelpers.hi -rw-r--r-- root/root 19594 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Pointer.hi -rw-r--r-- root/root 31879 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/BiMap.hi -rw-r--r-- root/root 2061 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/HashMap.hi -rw-r--r-- root/root 13986 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Geniplate.hi -rw-r--r-- root/root 67552 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Bag.hi -rw-r--r-- root/root 4771 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Hash.hi -rw-r--r-- root/root 43749 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Permutation.hi -rw-r--r-- root/root 22310 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Monad.hi -rw-r--r-- root/root 15320 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Time.hi -rw-r--r-- root/root 52011 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/ReadP.hi -rw-r--r-- root/root 5998 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Maybe.hi -rw-r--r-- root/root 9283 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/QuickCheck.hi -rw-r--r-- root/root 33223 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Favorites.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Lens/ -rw-r--r-- root/root 2523 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Lens/Examples.hi -rw-r--r-- root/root 7235 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/AssocList.hi -rw-r--r-- root/root 2227 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Except.hi -rw-r--r-- root/root 1921 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/SemiRing.hi -rw-r--r-- root/root 8904 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Null.hi -rw-r--r-- root/root 11749 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Functor.hi -rw-r--r-- root/root 3892 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/Empty.hi -rw-r--r-- root/root 1746 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/VarSet.hi -rw-r--r-- root/root 2096 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Utils/IORef.hi -rw-r--r-- root/root 21814 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Main.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/ -rw-r--r-- root/root 28674 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/Termination.hi -rw-r--r-- root/root 15745 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/RecCheck.hi -rw-r--r-- root/root 29210 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/Order.hi -rw-r--r-- root/root 56043 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/CallMatrix.hi -rw-r--r-- root/root 151715 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/SparseMatrix.hi -rw-r--r-- root/root 27267 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/CallGraph.hi -rw-r--r-- root/root 15642 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/Inlining.hi -rw-r--r-- root/root 12039 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/Semiring.hi -rw-r--r-- root/root 87001 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/Monad.hi -rw-r--r-- root/root 5396 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/CutOff.hi -rw-r--r-- root/root 38976 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Termination/TermCheck.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/ -rw-r--r-- root/root 115097 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete.hi -rw-r--r-- root/root 208701 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Position.hi -rw-r--r-- root/root 11064 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/ -rw-r--r-- root/root 42789 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Name.hi -rw-r--r-- root/root 89666 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Pretty.hi -rw-r--r-- root/root 25776 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Operators.hi -rw-r--r-- root/root 42580 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Generic.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Operators/ -rw-r--r-- root/root 27566 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Operators/Parser.hi -rw-r--r-- root/root 44806 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Concrete/Definitions.hi -rw-r--r-- root/root 218777 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Common.hi -rw-r--r-- root/root 17520 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Literal.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract/ -rw-r--r-- root/root 66708 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract/Name.hi -rw-r--r-- root/root 14292 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract/Pretty.hi -rw-r--r-- root/root 41861 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract/Views.hi -rw-r--r-- root/root 55782 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract/Copatterns.hi -rw-r--r-- root/root 16014 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Notation.hi -rw-r--r-- root/root 39678 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Fixity.hi -rw-r--r-- root/root 202693 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Internal.hi -rw-r--r-- root/root 46276 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Info.hi -rw-r--r-- root/root 136574 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Abstract.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Scope/ -rw-r--r-- root/root 134445 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Scope/Base.hi -rw-r--r-- root/root 76842 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Scope/Monad.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/ -rw-r--r-- root/root 25056 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/LookAhead.hi -rw-r--r-- root/root 9583 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/StringLiterals.hi -rw-r--r-- root/root 12513 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Comments.hi -rw-r--r-- root/root 13845 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Lexer.hi -rw-r--r-- root/root 25852 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Parser.hi -rw-r--r-- root/root 8994 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Alex.hi -rw-r--r-- root/root 32327 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Tokens.hi -rw-r--r-- root/root 36174 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Monad.hi -rw-r--r-- root/root 20192 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/LexActions.hi -rw-r--r-- root/root 11513 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Parser/Layout.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Translation/ -rw-r--r-- root/root 126250 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Translation/AbstractToConcrete.hi -rw-r--r-- root/root 102600 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Translation/ConcreteToAbstract.hi -rw-r--r-- root/root 117664 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Translation/InternalToAbstract.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Internal/ -rw-r--r-- root/root 29539 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Internal/Defs.hi -rw-r--r-- root/root 26213 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Internal/Pattern.hi -rw-r--r-- root/root 64952 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Syntax/Internal/Generic.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/ -rw-r--r-- root/root 98738 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Options.hi -rw-r--r-- root/root 8664 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/EmacsCommand.hi -rw-r--r-- root/root 53030 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Imports.hi -rw-r--r-- root/root 147055 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/InteractionTop.hi -rw-r--r-- root/root 5524 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Exceptions.hi -rw-r--r-- root/root 98525 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/BasicOps.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Options/ -rw-r--r-- root/root 46932 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Options/Lenses.hi -rw-r--r-- root/root 24318 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/MakeCase.hi -rw-r--r-- root/root 22316 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/FindFile.hi -rw-r--r-- root/root 14812 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Monad.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/ -rw-r--r-- root/root 18394 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/LaTeX.hi -rw-r--r-- root/root 15991 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Vim.hi -rw-r--r-- root/root 16401 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Dot.hi -rw-r--r-- root/root 10579 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/HTML.hi -rw-r--r-- root/root 9576 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Emacs.hi -rw-r--r-- root/root 27750 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Range.hi -rw-r--r-- root/root 91205 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Precise.hi -rw-r--r-- root/root 42273 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Highlighting/Generate.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/CommandLine/ -rw-r--r-- root/root 45933 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/CommandLine/CommandLine.hi -rw-r--r-- root/root 12005 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/Response.hi -rw-r--r-- root/root 19993 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Interaction/EmacsTop.hi -rw-r--r-- root/root 9834 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/TheTypeChecker.hi -rw-r--r-- root/root 15470 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Tests.hi -rw-r--r-- root/root 1300 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Version.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/ -rw-r--r-- root/root 18128 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/Encode.hi -rw-r--r-- root/root 11259 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/Pretty.hi -rw-r--r-- root/root 36802 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/Misc.hi -rw-r--r-- root/root 70188 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/Compiler.hi -rw-r--r-- root/root 109807 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/MAlonzo/Primitives.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/ -rw-r--r-- root/root 18281 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Case.hi -rw-r--r-- root/root 13883 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Pretty.hi -rw-r--r-- root/root 49683 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Parser.hi -rw-r--r-- root/root 13927 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Substitution.hi -rw-r--r-- root/root 56649 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Compiler.hi -rw-r--r-- root/root 35592 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/JS/Syntax.hi drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/ -rw-r--r-- root/root 22847 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Erasure.hi -rw-r--r-- root/root 19839 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Primitive.hi -rw-r--r-- root/root 33379 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/AuxAST.hi -rw-r--r-- root/root 31447 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Interface.hi -rw-r--r-- root/root 11008 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/ForceConstrs.hi -rw-r--r-- root/root 9673 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/CaseOpts.hi -rw-r--r-- root/root 21592 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/FromAgda.hi -rw-r--r-- root/root 14245 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/NatDetection.hi -rw-r--r-- root/root 23188 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Static.hi -rw-r--r-- root/root 54080 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/CompileState.hi -rw-r--r-- root/root 24633 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Forcing.hi -rw-r--r-- root/root 8302 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Epic.hi -rw-r--r-- root/root 17814 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Compiler.hi -rw-r--r-- root/root 53538 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Injection.hi -rw-r--r-- root/root 17673 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/Epic/Smashing.hi -rw-r--r-- root/root 23021 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/HaskellTypes.hi -rw-r--r-- root/root 8950 2015-06-05 09:23 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/Agda/Compiler/CallCompiler.hi -rw-r--r-- root/root 45957256 2015-06-05 09:24 ./usr/lib/haskell-packages/ghc/lib/powerpc-linux-ghc-7.8.4/Agda-2.4.2.2/libHSAgda-2.4.2.2.a drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/doc/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/doc/libghc-agda-dev/ -rw-r--r-- root/root 3421 2015-05-20 12:08 ./usr/share/doc/libghc-agda-dev/copyright -rw-r--r-- root/root 1270 2015-06-05 09:24 ./usr/share/doc/libghc-agda-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/lintian/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/lintian/overrides/ -rw-r--r-- root/root 30 2015-06-05 09:24 ./usr/share/lintian/overrides/libghc-agda-dev drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/libghc-agda-dev/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/share/libghc-agda-dev/lib/ drwxr-xr-x root/root 0 2015-06-05 09:23 ./usr/share/libghc-agda-dev/lib/prim/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/libghc-agda-dev/lib/prim/Agda/ -rw-r--r-- root/root 2613 2015-06-05 09:24 ./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai -rw-r--r-- root/root 885 2015-06-05 09:23 ./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -rw-r--r-- root/root 1219 2015-06-05 09:23 ./usr/share/libghc-agda-dev/Agda.css chroot-autobuild/build/buildd/agda-bin_2.4.2.2-2_powerpc.deb: drwxr-xr-x root/root 0 2015-06-05 09:24 ./ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/doc/ drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/share/doc/agda-bin/ -rw-r--r-- root/root 3421 2015-05-20 12:08 ./usr/share/doc/agda-bin/copyright -rw-r--r-- root/root 1272 2015-06-05 09:24 ./usr/share/doc/agda-bin/changelog.Debian.gz drwxr-xr-x root/root 0 2015-06-05 09:24 ./usr/bin/ -rwxr-xr-x root/root 33720716 2015-06-05 09:24 ./usr/bin/agda agda_2.4.2.2-2_powerpc.changes: Format: 1.8 Date: Wed, 20 May 2015 13:08:33 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: powerpc Version: 2.4.2.2-2 Distribution: wily-proposed Urgency: medium Maintainer: Ubuntu/powerpc Build Daemon Changed-By: Iain Lane Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language${haskell:ShortB libghc-agda-doc - dependently typed functional programming language${haskell:ShortB Changes: agda (2.4.2.2-2) unstable; urgency=medium . * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps Checksums-Sha1: 0184a828decbfdd9c553c8124f4f1eea78c0e24a 6573514 libghc-agda-dev_2.4.2.2-2_powerpc.deb 748dd167e8204e6f2458f54bb046cdc41d3644f2 4027360 agda-bin_2.4.2.2-2_powerpc.deb Checksums-Sha256: eecc7014523f06e095d4e7a6cbc476a915c59c2eb7e620dbb5498e07c9775361 6573514 libghc-agda-dev_2.4.2.2-2_powerpc.deb 6bb386b590149f3333ec40f0478a2376b9a11a0d66d200c2fffd11e37a9eb8ee 4027360 agda-bin_2.4.2.2-2_powerpc.deb Files: b5a503d842d9fbb94e9b2b52cc1d7f31 6573514 haskell extra libghc-agda-dev_2.4.2.2-2_powerpc.deb 22d3d848c3feccd65fa5a49a8d4d9958 4027360 haskell extra agda-bin_2.4.2.2-2_powerpc.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20150605-0925 Build needed 00:06:05, 355060k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-7448546'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-7448546/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-7448546'] Unmounting chroot for build PACKAGEBUILD-7448546... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-7448546'] Removing build PACKAGEBUILD-7448546