RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: Linux toyol 3.2.0-54-generic #82-Ubuntu SMP Tue Sep 10 20:08:42 UTC 2013 x86_64 Buildd toolchain package versions: launchpad-buildd_125 python-lpbuildd_125 bzr_2.5.1-0ubuntu2 dpkg-dev_1.16.1.2ubuntu7.5. Syncing the system clock with the buildd NTP service... 29 Oct 17:35:11 ntpdate[4402]: adjust time server 10.211.37.1 offset -0.000047 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'PACKAGEBUILD-6518715', '/home/buildd/filecache-default/b60dc20d42da79776ca3a105691616b773d63fd5'] Unpacking chroot for build PACKAGEBUILD-6518715 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'PACKAGEBUILD-6518715'] Mounting chroot for build PACKAGEBUILD-6518715 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'PACKAGEBUILD-6518715', 'deb http://ftpmaster.internal/ubuntu vivid main universe', 'deb http://ftpmaster.internal/ubuntu vivid-security main universe', 'deb http://ftpmaster.internal/ubuntu vivid-updates main universe', 'deb http://ftpmaster.internal/ubuntu vivid-proposed main universe'] Overriding sources.list in build-PACKAGEBUILD-6518715 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'PACKAGEBUILD-6518715', 'i386'] Updating debian chroot for build PACKAGEBUILD-6518715 Ign http://ftpmaster.internal vivid InRelease Ign http://ftpmaster.internal vivid-security InRelease Ign http://archive-team.internal vivid InRelease Ign http://ftpmaster.internal vivid-updates InRelease Ign http://ftpmaster.internal vivid-proposed InRelease Ign http://archive-team.internal vivid Release.gpg Get:1 http://ftpmaster.internal vivid Release.gpg [933 B] Get:2 http://ftpmaster.internal vivid-security Release.gpg [933 B] Get:3 http://archive-team.internal vivid Release [721 B] Get:4 http://ftpmaster.internal vivid-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal vivid-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal vivid Release [112 kB] Get:7 http://ftpmaster.internal vivid-security Release [59.7 kB] Get:8 http://ftpmaster.internal vivid-updates Release [59.7 kB] Get:9 http://archive-team.internal vivid/main i386 Packages Get:10 http://ftpmaster.internal vivid-proposed Release [112 kB] Ign http://archive-team.internal vivid/main Translation-en Get:11 http://ftpmaster.internal vivid/main i386 Packages [1332 kB] Get:12 http://ftpmaster.internal vivid/universe i386 Packages [6383 kB] Get:13 http://ftpmaster.internal vivid/main Translation-en [771 kB] Get:14 http://ftpmaster.internal vivid/universe Translation-en [4410 kB] Get:15 http://ftpmaster.internal vivid-security/main i386 Packages [14 B] Get:16 http://ftpmaster.internal vivid-security/universe i386 Packages [14 B] Get:17 http://ftpmaster.internal vivid-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal vivid-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal vivid-updates/main i386 Packages [14 B] Get:20 http://ftpmaster.internal vivid-updates/universe i386 Packages [14 B] Get:21 http://ftpmaster.internal vivid-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal vivid-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal vivid-proposed/main i386 Packages [43.9 kB] Get:24 http://ftpmaster.internal vivid-proposed/universe i386 Packages [245 kB] Get:25 http://ftpmaster.internal vivid-proposed/main Translation-en [44.4 kB] Get:26 http://ftpmaster.internal vivid-proposed/universe Translation-en [145 kB] Fetched 13.7 MB in 6s (1978 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following package was automatically installed and is no longer required: libsystemd-journal0 Use 'apt-get autoremove' to remove it. The following NEW packages will be installed: libsystemd0 The following packages will be upgraded: base-files bash binutils bsdutils busybox-initramfs ca-certificates cpp-4.9 e2fslibs e2fsprogs g++-4.9 gcc-4.9 gcc-4.9-base grep gzip libacl1 libasan1 libatomic1 libblkid1 libcilkrts5 libcomerr2 libdb5.3 libdbus-1-3 libdrm2 libgcc-4.9-dev libgcc1 libgmp10 libgomp1 libgpg-error0 libgssapi-krb5-2 libitm1 libk5crypto3 libkrb5-3 libkrb5support0 libmount1 libp11-kit0 libpam-modules libpam-modules-bin libpam-runtime libpam0g libpcre3 libplymouth4 libquadmath0 libsasl2-2 libsasl2-modules-db libselinux1 libslang2 libsmartcols1 libsqlite3-0 libss2 libstdc++-4.9-dev libstdc++6 libsystemd-journal0 libtasn1-6 libubsan0 libudev1 libusb-0.1-4 libuuid1 mount patch perl perl-base perl-modules plymouth tzdata udev util-linux zlib1g 67 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 49.9 MB of archives. After this operation, 1195 kB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ vivid/main base-files i386 7.2ubuntu8 [68.5 kB] Get:2 http://ftpmaster.internal/ubuntu/ vivid/main bash i386 4.3-11ubuntu2 [591 kB] Get:3 http://ftpmaster.internal/ubuntu/ vivid/main libsystemd0 i386 215-5ubuntu1 [74.7 kB] Get:4 http://ftpmaster.internal/ubuntu/ vivid/main bsdutils i386 1:2.25.2-2ubuntu1 [47.4 kB] Get:5 http://ftpmaster.internal/ubuntu/ vivid/main e2fslibs i386 1.42.12-1ubuntu1 [209 kB] Get:6 http://ftpmaster.internal/ubuntu/ vivid/main e2fsprogs i386 1.42.12-1ubuntu1 [780 kB] Get:7 http://ftpmaster.internal/ubuntu/ vivid/main grep i386 2.20-4 [149 kB] Get:8 http://ftpmaster.internal/ubuntu/ vivid/main gzip i386 1.6-4ubuntu1 [86.6 kB] Get:9 http://ftpmaster.internal/ubuntu/ vivid/main mount i386 2.25.2-2ubuntu1 [122 kB] Get:10 http://ftpmaster.internal/ubuntu/ vivid/main perl-base i386 5.20.1-2 [1263 kB] Get:11 http://ftpmaster.internal/ubuntu/ vivid/main perl-modules all 5.20.1-2 [2531 kB] Get:12 http://ftpmaster.internal/ubuntu/ vivid/main perl i386 5.20.1-2 [2160 kB] Get:13 http://ftpmaster.internal/ubuntu/ vivid/main libdb5.3 i386 5.3.28-6 [729 kB] Get:14 http://ftpmaster.internal/ubuntu/ vivid-proposed/main zlib1g i386 1:1.2.8.dfsg-2ubuntu1 [52.9 kB] Get:15 http://ftpmaster.internal/ubuntu/ vivid/main tzdata all 2014i-1 [182 kB] Get:16 http://ftpmaster.internal/ubuntu/ vivid/main util-linux i386 2.25.2-2ubuntu1 [833 kB] Get:17 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libubsan0 i386 4.9.1-19ubuntu1 [90.6 kB] Get:18 http://ftpmaster.internal/ubuntu/ vivid-proposed/main gcc-4.9-base i386 4.9.1-19ubuntu1 [15.7 kB] Get:19 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libstdc++6 i386 4.9.1-19ubuntu1 [292 kB] Get:20 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libgomp1 i386 4.9.1-19ubuntu1 [41.4 kB] Get:21 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libitm1 i386 4.9.1-19ubuntu1 [32.1 kB] Get:22 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libatomic1 i386 4.9.1-19ubuntu1 [10.0 kB] Get:23 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libasan1 i386 4.9.1-19ubuntu1 [197 kB] Get:24 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libcilkrts5 i386 4.9.1-19ubuntu1 [44.9 kB] Get:25 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libquadmath0 i386 4.9.1-19ubuntu1 [196 kB] Get:26 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libgcc-4.9-dev i386 4.9.1-19ubuntu1 [2071 kB] Get:27 http://ftpmaster.internal/ubuntu/ vivid-proposed/main cpp-4.9 i386 4.9.1-19ubuntu1 [5175 kB] Get:28 http://ftpmaster.internal/ubuntu/ vivid-proposed/main binutils i386 2.24.90.20141023-1ubuntu1 [2356 kB] Get:29 http://ftpmaster.internal/ubuntu/ vivid-proposed/main gcc-4.9 i386 4.9.1-19ubuntu1 [5798 kB] Get:30 http://ftpmaster.internal/ubuntu/ vivid-proposed/main g++-4.9 i386 4.9.1-19ubuntu1 [17.7 MB] Get:31 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libstdc++-4.9-dev i386 4.9.1-19ubuntu1 [1134 kB] Get:32 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libgcc1 i386 1:4.9.1-19ubuntu1 [48.4 kB] Get:33 http://ftpmaster.internal/ubuntu/ vivid/main libgmp10 i386 2:6.0.0+dfsg-6 [243 kB] Get:34 http://ftpmaster.internal/ubuntu/ vivid/main libusb-0.1-4 i386 2:0.1.12-25 [17.0 kB] Get:35 http://ftpmaster.internal/ubuntu/ vivid/main libacl1 i386 2.2.52-2 [17.6 kB] Get:36 http://ftpmaster.internal/ubuntu/ vivid/main libuuid1 i386 2.25.2-2ubuntu1 [16.4 kB] Get:37 http://ftpmaster.internal/ubuntu/ vivid/main libblkid1 i386 2.25.2-2ubuntu1 [116 kB] Get:38 http://ftpmaster.internal/ubuntu/ vivid/main libcomerr2 i386 1.42.12-1ubuntu1 [65.3 kB] Get:39 http://ftpmaster.internal/ubuntu/ vivid/main libgpg-error0 i386 1.17-2 [34.5 kB] Get:40 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libpcre3 i386 1:8.35-3.1ubuntu2 [219 kB] Get:41 http://ftpmaster.internal/ubuntu/ vivid/main libselinux1 i386 2.3-2 [63.8 kB] Get:42 http://ftpmaster.internal/ubuntu/ vivid/main libmount1 i386 2.25.2-2ubuntu1 [120 kB] Get:43 http://ftpmaster.internal/ubuntu/ vivid/main libpam0g i386 1.1.8-3.1ubuntu1 [59.9 kB] Get:44 http://ftpmaster.internal/ubuntu/ vivid/main libpam-modules-bin i386 1.1.8-3.1ubuntu1 [37.9 kB] Get:45 http://ftpmaster.internal/ubuntu/ vivid/main libpam-modules i386 1.1.8-3.1ubuntu1 [256 kB] Get:46 http://ftpmaster.internal/ubuntu/ vivid/main libslang2 i386 2.3.0-2ubuntu1 [409 kB] Get:47 http://ftpmaster.internal/ubuntu/ vivid/main libsmartcols1 i386 2.25.2-2ubuntu1 [65.5 kB] Get:48 http://ftpmaster.internal/ubuntu/ vivid/main libss2 i386 1.42.12-1ubuntu1 [69.9 kB] Get:49 http://ftpmaster.internal/ubuntu/ vivid/main libsystemd-journal0 i386 215-5ubuntu1 [59.0 kB] Get:50 http://ftpmaster.internal/ubuntu/ vivid/main libp11-kit0 i386 0.20.7-1 [79.3 kB] Get:51 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libsqlite3-0 i386 3.8.7-1 [397 kB] Get:52 http://ftpmaster.internal/ubuntu/ vivid/main libtasn1-6 i386 4.2-2 [44.0 kB] Get:53 http://ftpmaster.internal/ubuntu/ vivid/main libdbus-1-3 i386 1.8.8-2ubuntu1 [158 kB] Get:54 http://ftpmaster.internal/ubuntu/ vivid/main libdrm2 i386 2.4.58-2 [25.3 kB] Get:55 http://ftpmaster.internal/ubuntu/ vivid/main plymouth i386 0.9.0-0ubuntu8 [112 kB] Get:56 http://ftpmaster.internal/ubuntu/ vivid/main udev i386 215-5ubuntu1 [858 kB] Get:57 http://ftpmaster.internal/ubuntu/ vivid/main libudev1 i386 215-5ubuntu1 [36.6 kB] Get:58 http://ftpmaster.internal/ubuntu/ vivid/main libplymouth4 i386 0.9.0-0ubuntu8 [93.5 kB] Get:59 http://ftpmaster.internal/ubuntu/ vivid/main libgssapi-krb5-2 i386 1.12.1+dfsg-11 [128 kB] Get:60 http://ftpmaster.internal/ubuntu/ vivid/main libkrb5-3 i386 1.12.1+dfsg-11 [293 kB] Get:61 http://ftpmaster.internal/ubuntu/ vivid/main libkrb5support0 i386 1.12.1+dfsg-11 [32.4 kB] Get:62 http://ftpmaster.internal/ubuntu/ vivid/main libk5crypto3 i386 1.12.1+dfsg-11 [83.2 kB] Get:63 http://ftpmaster.internal/ubuntu/ vivid/main libsasl2-modules-db i386 2.1.26.dfsg1-12 [15.3 kB] Get:64 http://ftpmaster.internal/ubuntu/ vivid/main libsasl2-2 i386 2.1.26.dfsg1-12 [52.1 kB] Get:65 http://ftpmaster.internal/ubuntu/ vivid/main libpam-runtime all 1.1.8-3.1ubuntu1 [39.7 kB] Get:66 http://ftpmaster.internal/ubuntu/ vivid/main busybox-initramfs i386 1:1.22.0-9ubuntu1 [164 kB] Get:67 http://ftpmaster.internal/ubuntu/ vivid/main ca-certificates all 20141019 [192 kB] Get:68 http://ftpmaster.internal/ubuntu/ vivid/main patch i386 2.7.1-6 [93.4 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 49.9 MB in 3s (13.7 MB/s) (Reading database ... 11468 files and directories currently installed.) Preparing to unpack .../base-files_7.2ubuntu8_i386.deb ... Unpacking base-files (7.2ubuntu8) over (7.2ubuntu7) ... Setting up base-files (7.2ubuntu8) ... 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 ... 11468 files and directories currently installed.) Preparing to unpack .../bash_4.3-11ubuntu2_i386.deb ... Unpacking bash (4.3-11ubuntu2) over (4.3-11ubuntu1) ... Setting up bash (4.3-11ubuntu2) ... Installing new version of config file /etc/bash.bashrc ... 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 Selecting previously unselected package libsystemd0:i386. (Reading database ... 11468 files and directories currently installed.) Preparing to unpack .../libsystemd0_215-5ubuntu1_i386.deb ... Unpacking libsystemd0:i386 (215-5ubuntu1) ... Setting up libsystemd0:i386 (215-5ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11473 files and directories currently installed.) Preparing to unpack .../bsdutils_1%3a2.25.2-2ubuntu1_i386.deb ... Unpacking bsdutils (1:2.25.2-2ubuntu1) over (1:2.25.1-3ubuntu4) ... Setting up bsdutils (1:2.25.2-2ubuntu1) ... (Reading database ... 11473 files and directories currently installed.) Preparing to unpack .../e2fslibs_1.42.12-1ubuntu1_i386.deb ... Unpacking e2fslibs:i386 (1.42.12-1ubuntu1) over (1.42.10-1.1ubuntu1) ... Setting up e2fslibs:i386 (1.42.12-1ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11473 files and directories currently installed.) Preparing to unpack .../e2fsprogs_1.42.12-1ubuntu1_i386.deb ... Unpacking e2fsprogs (1.42.12-1ubuntu1) over (1.42.10-1.1ubuntu1) ... Setting up e2fsprogs (1.42.12-1ubuntu1) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../archives/grep_2.20-4_i386.deb ... Unpacking grep (2.20-4) over (2.20-3) ... Setting up grep (2.20-4) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../gzip_1.6-4ubuntu1_i386.deb ... Unpacking gzip (1.6-4ubuntu1) over (1.6-3ubuntu1) ... Setting up gzip (1.6-4ubuntu1) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../mount_2.25.2-2ubuntu1_i386.deb ... Unpacking mount (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up mount (2.25.2-2ubuntu1) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../perl-base_5.20.1-2_i386.deb ... Unpacking perl-base (5.20.1-2) over (5.20.1-1) ... Setting up perl-base (5.20.1-2) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../perl-modules_5.20.1-2_all.deb ... Unpacking perl-modules (5.20.1-2) over (5.20.1-1) ... Setting up perl-modules (5.20.1-2) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../perl_5.20.1-2_i386.deb ... Unpacking perl (5.20.1-2) over (5.20.1-1) ... Setting up perl (5.20.1-2) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../libdb5.3_5.3.28-6_i386.deb ... Unpacking libdb5.3:i386 (5.3.28-6) over (5.3.28-5) ... Setting up libdb5.3:i386 (5.3.28-6) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../zlib1g_1%3a1.2.8.dfsg-2ubuntu1_i386.deb ... Unpacking zlib1g:i386 (1:1.2.8.dfsg-2ubuntu1) over (1:1.2.8.dfsg-1ubuntu1) ... Setting up zlib1g:i386 (1:1.2.8.dfsg-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11475 files and directories currently installed.) Preparing to unpack .../tzdata_2014i-1_all.deb ... Unpacking tzdata (2014i-1) over (2014h-2) ... Setting up tzdata (2014i-1) ... Current default time zone: 'Etc/UTC' Local time is now: Wed Oct 29 17:35:33 UTC 2014. Universal Time is now: Wed Oct 29 17:35:33 UTC 2014. Run 'dpkg-reconfigure tzdata' if you wish to change it. (Reading database ... 11478 files and directories currently installed.) Preparing to unpack .../util-linux_2.25.2-2ubuntu1_i386.deb ... Unpacking util-linux (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up util-linux (2.25.2-2ubuntu1) ... update-initramfs: deferring update (trigger activated) Processing triggers for initramfs-tools (0.103ubuntu8) ... (Reading database ... 11479 files and directories currently installed.) Preparing to unpack .../libubsan0_4.9.1-19ubuntu1_i386.deb ... Unpacking libubsan0:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../gcc-4.9-base_4.9.1-19ubuntu1_i386.deb ... Unpacking gcc-4.9-base:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Setting up gcc-4.9-base:i386 (4.9.1-19ubuntu1) ... (Reading database ... 11479 files and directories currently installed.) Preparing to unpack .../libstdc++6_4.9.1-19ubuntu1_i386.deb ... Unpacking libstdc++6:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Setting up libstdc++6:i386 (4.9.1-19ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11479 files and directories currently installed.) Preparing to unpack .../libgomp1_4.9.1-19ubuntu1_i386.deb ... Unpacking libgomp1:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libitm1_4.9.1-19ubuntu1_i386.deb ... Unpacking libitm1:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libatomic1_4.9.1-19ubuntu1_i386.deb ... Unpacking libatomic1:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libasan1_4.9.1-19ubuntu1_i386.deb ... Unpacking libasan1:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libcilkrts5_4.9.1-19ubuntu1_i386.deb ... Unpacking libcilkrts5:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libquadmath0_4.9.1-19ubuntu1_i386.deb ... Unpacking libquadmath0:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libgcc-4.9-dev_4.9.1-19ubuntu1_i386.deb ... Unpacking libgcc-4.9-dev:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../cpp-4.9_4.9.1-19ubuntu1_i386.deb ... Unpacking cpp-4.9 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../binutils_2.24.90.20141023-1ubuntu1_i386.deb ... Unpacking binutils (2.24.90.20141023-1ubuntu1) over (2.24.90.20141014-0ubuntu3) ... Preparing to unpack .../gcc-4.9_4.9.1-19ubuntu1_i386.deb ... Unpacking gcc-4.9 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../g++-4.9_4.9.1-19ubuntu1_i386.deb ... Unpacking g++-4.9 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libstdc++-4.9-dev_4.9.1-19ubuntu1_i386.deb ... Unpacking libstdc++-4.9-dev:i386 (4.9.1-19ubuntu1) over (4.9.1-16ubuntu6) ... Preparing to unpack .../libgcc1_1%3a4.9.1-19ubuntu1_i386.deb ... Unpacking libgcc1:i386 (1:4.9.1-19ubuntu1) over (1:4.9.1-16ubuntu6) ... Setting up libgcc1:i386 (1:4.9.1-19ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11483 files and directories currently installed.) Preparing to unpack .../libgmp10_2%3a6.0.0+dfsg-6_i386.deb ... Unpacking libgmp10:i386 (2:6.0.0+dfsg-6) over (2:6.0.0+dfsg-4build1) ... Preparing to unpack .../libusb-0.1-4_2%3a0.1.12-25_i386.deb ... Unpacking libusb-0.1-4:i386 (2:0.1.12-25) over (2:0.1.12-24) ... Setting up libusb-0.1-4:i386 (2:0.1.12-25) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libacl1_2.2.52-2_i386.deb ... Unpacking libacl1:i386 (2.2.52-2) over (2.2.52-1.1) ... Setting up libacl1:i386 (2.2.52-2) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libuuid1_2.25.2-2ubuntu1_i386.deb ... Unpacking libuuid1:i386 (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up libuuid1:i386 (2.25.2-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libblkid1_2.25.2-2ubuntu1_i386.deb ... Unpacking libblkid1:i386 (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up libblkid1:i386 (2.25.2-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libcomerr2_1.42.12-1ubuntu1_i386.deb ... Unpacking libcomerr2:i386 (1.42.12-1ubuntu1) over (1.42.10-1.1ubuntu1) ... Setting up libcomerr2:i386 (1.42.12-1ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libgpg-error0_1.17-2_i386.deb ... Unpacking libgpg-error0:i386 (1.17-2) over (1.13-4) ... Setting up libgpg-error0:i386 (1.17-2) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libpcre3_1%3a8.35-3.1ubuntu2_i386.deb ... Unpacking libpcre3:i386 (1:8.35-3.1ubuntu2) over (1:8.35-3ubuntu1) ... Setting up libpcre3:i386 (1:8.35-3.1ubuntu2) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libselinux1_2.3-2_i386.deb ... Unpacking libselinux1:i386 (2.3-2) over (2.3-1build1) ... Setting up libselinux1:i386 (2.3-2) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libmount1_2.25.2-2ubuntu1_i386.deb ... Unpacking libmount1:i386 (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up libmount1:i386 (2.25.2-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libpam0g_1.1.8-3.1ubuntu1_i386.deb ... Unpacking libpam0g:i386 (1.1.8-3.1ubuntu1) over (1.1.8-3ubuntu4) ... Setting up libpam0g:i386 (1.1.8-3.1ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libpam-modules-bin_1.1.8-3.1ubuntu1_i386.deb ... Unpacking libpam-modules-bin (1.1.8-3.1ubuntu1) over (1.1.8-3ubuntu4) ... Setting up libpam-modules-bin (1.1.8-3.1ubuntu1) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libpam-modules_1.1.8-3.1ubuntu1_i386.deb ... Unpacking libpam-modules:i386 (1.1.8-3.1ubuntu1) over (1.1.8-3ubuntu4) ... Setting up libpam-modules:i386 (1.1.8-3.1ubuntu1) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libslang2_2.3.0-2ubuntu1_i386.deb ... Unpacking libslang2:i386 (2.3.0-2ubuntu1) over (2.2.4-17ubuntu1) ... Setting up libslang2:i386 (2.3.0-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libsmartcols1_2.25.2-2ubuntu1_i386.deb ... Unpacking libsmartcols1:i386 (2.25.2-2ubuntu1) over (2.25.1-3ubuntu4) ... Setting up libsmartcols1:i386 (2.25.2-2ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libss2_1.42.12-1ubuntu1_i386.deb ... Unpacking libss2:i386 (1.42.12-1ubuntu1) over (1.42.10-1.1ubuntu1) ... Setting up libss2:i386 (1.42.12-1ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libsystemd-journal0_215-5ubuntu1_i386.deb ... Unpacking libsystemd-journal0:i386 (215-5ubuntu1) over (208-8ubuntu8) ... Setting up libsystemd-journal0:i386 (215-5ubuntu1) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... (Reading database ... 11484 files and directories currently installed.) Preparing to unpack .../libp11-kit0_0.20.7-1_i386.deb ... Unpacking libp11-kit0:i386 (0.20.7-1) over (0.20.2-5) ... Preparing to unpack .../libsqlite3-0_3.8.7-1_i386.deb ... Unpacking libsqlite3-0:i386 (3.8.7-1) over (3.8.6-1) ... Preparing to unpack .../libtasn1-6_4.2-2_i386.deb ... Unpacking libtasn1-6:i386 (4.2-2) over (4.0-2) ... Preparing to unpack .../libdbus-1-3_1.8.8-2ubuntu1_i386.deb ... Unpacking libdbus-1-3:i386 (1.8.8-2ubuntu1) over (1.8.8-1ubuntu2) ... Preparing to unpack .../libdrm2_2.4.58-2_i386.deb ... Unpacking libdrm2:i386 (2.4.58-2) over (2.4.56-1) ... Preparing to unpack .../plymouth_0.9.0-0ubuntu8_i386.deb ... Unpacking plymouth (0.9.0-0ubuntu8) over (0.9.0-0ubuntu7) ... Preparing to unpack .../udev_215-5ubuntu1_i386.deb ... Unpacking udev (215-5ubuntu1) over (208-8ubuntu8) ... Preparing to unpack .../libudev1_215-5ubuntu1_i386.deb ... Unpacking libudev1:i386 (215-5ubuntu1) over (208-8ubuntu8) ... Preparing to unpack .../libplymouth4_0.9.0-0ubuntu8_i386.deb ... Unpacking libplymouth4:i386 (0.9.0-0ubuntu8) over (0.9.0-0ubuntu7) ... Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-11_i386.deb ... Unpacking libgssapi-krb5-2:i386 (1.12.1+dfsg-11) over (1.12.1+dfsg-10) ... Preparing to unpack .../libkrb5-3_1.12.1+dfsg-11_i386.deb ... Unpacking libkrb5-3:i386 (1.12.1+dfsg-11) over (1.12.1+dfsg-10) ... Preparing to unpack .../libkrb5support0_1.12.1+dfsg-11_i386.deb ... Unpacking libkrb5support0:i386 (1.12.1+dfsg-11) over (1.12.1+dfsg-10) ... Preparing to unpack .../libk5crypto3_1.12.1+dfsg-11_i386.deb ... Unpacking libk5crypto3:i386 (1.12.1+dfsg-11) over (1.12.1+dfsg-10) ... Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-12_i386.deb ... Unpacking libsasl2-modules-db:i386 (2.1.26.dfsg1-12) over (2.1.26.dfsg1-11) ... Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-12_i386.deb ... Unpacking libsasl2-2:i386 (2.1.26.dfsg1-12) over (2.1.26.dfsg1-11) ... Preparing to unpack .../libpam-runtime_1.1.8-3.1ubuntu1_all.deb ... Unpacking libpam-runtime (1.1.8-3.1ubuntu1) over (1.1.8-3ubuntu4) ... Setting up libpam-runtime (1.1.8-3.1ubuntu1) ... (Reading database ... 11486 files and directories currently installed.) Preparing to unpack .../busybox-initramfs_1%3a1.22.0-9ubuntu1_i386.deb ... Unpacking busybox-initramfs (1:1.22.0-9ubuntu1) over (1:1.22.0-8ubuntu1) ... Preparing to unpack .../ca-certificates_20141019_all.deb ... Unpacking ca-certificates (20141019) over (20140325) ... Preparing to unpack .../patch_2.7.1-6_i386.deb ... Unpacking patch (2.7.1-6) over (2.7.1-5) ... Setting up libubsan0:i386 (4.9.1-19ubuntu1) ... Setting up libgomp1:i386 (4.9.1-19ubuntu1) ... Setting up libitm1:i386 (4.9.1-19ubuntu1) ... Setting up libatomic1:i386 (4.9.1-19ubuntu1) ... Setting up libasan1:i386 (4.9.1-19ubuntu1) ... Setting up libcilkrts5:i386 (4.9.1-19ubuntu1) ... Setting up libquadmath0:i386 (4.9.1-19ubuntu1) ... Setting up libgcc-4.9-dev:i386 (4.9.1-19ubuntu1) ... Setting up libgmp10:i386 (2:6.0.0+dfsg-6) ... Setting up cpp-4.9 (4.9.1-19ubuntu1) ... Setting up binutils (2.24.90.20141023-1ubuntu1) ... Setting up gcc-4.9 (4.9.1-19ubuntu1) ... Setting up libstdc++-4.9-dev:i386 (4.9.1-19ubuntu1) ... Setting up g++-4.9 (4.9.1-19ubuntu1) ... Setting up libp11-kit0:i386 (0.20.7-1) ... Setting up libsqlite3-0:i386 (3.8.7-1) ... Setting up libtasn1-6:i386 (4.2-2) ... Setting up libdbus-1-3:i386 (1.8.8-2ubuntu1) ... Setting up libdrm2:i386 (2.4.58-2) ... Setting up libudev1:i386 (215-5ubuntu1) ... Setting up libplymouth4:i386 (0.9.0-0ubuntu8) ... Setting up udev (215-5ubuntu1) ... Installing new version of config file /etc/init.d/udev-finish ... A chroot environment has been detected, udev not started. update-initramfs: deferring update (trigger activated) Removing obsolete conffile /etc/udev/rules.d/README ... Setting up plymouth (0.9.0-0ubuntu8) ... update-initramfs: deferring update (trigger activated) Setting up libkrb5support0:i386 (1.12.1+dfsg-11) ... Setting up libk5crypto3:i386 (1.12.1+dfsg-11) ... Setting up libkrb5-3:i386 (1.12.1+dfsg-11) ... Setting up libgssapi-krb5-2:i386 (1.12.1+dfsg-11) ... Setting up libsasl2-modules-db:i386 (2.1.26.dfsg1-12) ... Setting up libsasl2-2:i386 (2.1.26.dfsg1-12) ... Setting up busybox-initramfs (1:1.22.0-9ubuntu1) ... Setting up ca-certificates (20141019) ... Setting up patch (2.7.1-6) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... Processing triggers for initramfs-tools (0.103ubuntu8) ... Processing triggers for ca-certificates (20141019) ... Updating certificates in /etc/ssl/certs... 10 added, 5 removed; done. Running hooks in /etc/ca-certificates/update.d....done. RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'PACKAGEBUILD-6518715', 'i386', 'vivid-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=vivid-proposed', '--purpose=PRIMARY', '--architecture=i386', '--comp=universe', 'agda_2.4.0.2-2build1.dsc'] Initiating build PACKAGEBUILD-6518715 with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.2.0-54-generic #82-Ubuntu SMP Tue Sep 10 20:08:42 UTC 2013 i686 Automatic build of agda_2.4.0.2-2build1 on toyol by sbuild/i386 1.170.5 Build started at 20141029-1735 ****************************************************************************** agda_2.4.0.2-2build1.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-binary-dev (>= 0.6), libghc-binary-dev (<< 0.8), 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.4), 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-haskeline-dev (>= 0.7), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.2), libghc-parallel-dev (<< 3.3), libghc-transformers-dev (>= 0.3), libghc-transformers-dev (<< 0.4), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.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.15), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.2), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-binary-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-equivalence-doc, libghc-geniplate-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-stmonadtrans-doc, libghc-text-doc, libghc-transformers-doc, libghc-unordered-containers-doc, libghc-xhtml-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-binary-dev: missing libghc-binary-dev: 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-haskeline-dev: missing libghc-haskeline-dev: missing libghc-mtl-dev: missing libghc-mtl-dev: missing libghc-parallel-dev: missing libghc-transformers-dev: missing libghc-transformers-dev: missing libghc-unordered-containers-dev: missing libghc-unordered-containers-dev: missing libghc-xhtml-dev: missing libghc-xhtml-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 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-binary-dev libghc-binary-dev 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-haskeline-dev libghc-haskeline-dev libghc-mtl-dev libghc-mtl-dev libghc-parallel-dev libghc-transformers-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-unordered-containers-dev libghc-xhtml-dev libghc-xhtml-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 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-terminfo-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 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 groff info-browser libghc-binary-doc libghc-binary-prof 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-haskeline-doc libghc-haskeline-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-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-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 libmail-sendmail-perl The following NEW packages will be installed: alex autoconf automake autotools-dev bsdmainutils cdbs 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-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-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-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-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 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, 99 newly installed, 0 to remove and 0 not upgraded. Need to get 55.8 MB of archives. After this operation, 366 MB of additional disk space will be used. Get:1 http://ftpmaster.internal/ubuntu/ vivid/main libbsd0 i386 0.7.0-2 [36.7 kB] Get:2 http://ftpmaster.internal/ubuntu/ vivid/main libexpat1 i386 2.1.0-6ubuntu1 [74.0 kB] Get:3 http://ftpmaster.internal/ubuntu/ vivid/main libmagic1 i386 1:5.19-1ubuntu1.1 [206 kB] Get:4 http://ftpmaster.internal/ubuntu/ vivid/main libasprintf0c2 i386 0.19.2-2ubuntu1 [6332 B] Get:5 http://ftpmaster.internal/ubuntu/ vivid/main libglib2.0-0 i386 2.42.0-2 [1150 kB] Get:6 http://ftpmaster.internal/ubuntu/ vivid/main libpipeline1 i386 1.4.0-1 [26.8 kB] Get:7 http://ftpmaster.internal/ubuntu/ vivid/main libxml2 i386 2.9.1+dfsg1-4ubuntu1 [613 kB] Get:8 http://ftpmaster.internal/ubuntu/ vivid/main groff-base i386 1.22.2-8 [1174 kB] Get:9 http://ftpmaster.internal/ubuntu/ vivid/main bsdmainutils i386 9.0.5ubuntu1 [197 kB] Get:10 http://ftpmaster.internal/ubuntu/ vivid/main man-db i386 2.7.0.2-2 [871 kB] Get:11 http://ftpmaster.internal/ubuntu/ vivid/main libcroco3 i386 0.6.8-3 [89.2 kB] Get:12 http://ftpmaster.internal/ubuntu/ vivid/main libgmpxx4ldbl i386 2:6.0.0+dfsg-6 [9270 B] Get:13 http://ftpmaster.internal/ubuntu/ vivid/main libsigsegv2 i386 2.10-4 [14.0 kB] Get:14 http://ftpmaster.internal/ubuntu/ vivid/main libunistring0 i386 0.9.3-5ubuntu3 [272 kB] Get:15 http://ftpmaster.internal/ubuntu/ vivid/main libpython2.7-minimal i386 2.7.8-10ubuntu1 [332 kB] Get:16 http://ftpmaster.internal/ubuntu/ vivid/main python2.7-minimal i386 2.7.8-10ubuntu1 [1352 kB] Get:17 http://ftpmaster.internal/ubuntu/ vivid/main file i386 1:5.19-1ubuntu1.1 [19.9 kB] Get:18 http://ftpmaster.internal/ubuntu/ vivid/main mime-support all 3.55ubuntu1 [31.1 kB] Get:19 http://ftpmaster.internal/ubuntu/ vivid/main netbase all 5.3 [12.9 kB] Get:20 http://ftpmaster.internal/ubuntu/ vivid/main gettext-base i386 0.19.2-2ubuntu1 [48.8 kB] Get:21 http://ftpmaster.internal/ubuntu/ vivid/universe alex i386 3.1.3-1 [394 kB] Get:22 http://ftpmaster.internal/ubuntu/ vivid/main m4 i386 1.4.17-4 [190 kB] Get:23 http://ftpmaster.internal/ubuntu/ vivid/main autoconf all 2.69-8 [321 kB] Get:24 http://ftpmaster.internal/ubuntu/ vivid/main autotools-dev all 20140911.1 [39.6 kB] Get:25 http://ftpmaster.internal/ubuntu/ vivid/main automake all 1:1.14.1-3ubuntu1 [510 kB] Get:26 http://ftpmaster.internal/ubuntu/ vivid/main gettext i386 0.19.2-2ubuntu1 [854 kB] Get:27 http://ftpmaster.internal/ubuntu/ vivid/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:28 http://ftpmaster.internal/ubuntu/ vivid/main po-debconf all 1.0.16+nmu3 [207 kB] Get:29 http://ftpmaster.internal/ubuntu/ vivid/main dh-apparmor all 2.8.98-0ubuntu3 [11.0 kB] Get:30 http://ftpmaster.internal/ubuntu/ vivid/main debhelper all 9.20141003ubuntu1 [726 kB] Get:31 http://ftpmaster.internal/ubuntu/ vivid/main liburi-perl all 1.64-1 [84.1 kB] Get:32 http://ftpmaster.internal/ubuntu/ vivid/main libencode-locale-perl all 1.03-1 [12.4 kB] Get:33 http://ftpmaster.internal/ubuntu/ vivid/main libhttp-date-perl all 6.02-1 [10.4 kB] Get:34 http://ftpmaster.internal/ubuntu/ vivid/main libfile-listing-perl all 6.04-1 [9774 B] Get:35 http://ftpmaster.internal/ubuntu/ vivid/main libhtml-tagset-perl all 3.20-2 [13.5 kB] Get:36 http://ftpmaster.internal/ubuntu/ vivid/main libhtml-parser-perl i386 3.71-1build2 [91.9 kB] Get:37 http://ftpmaster.internal/ubuntu/ vivid/main libhtml-tree-perl all 5.03-1 [215 kB] Get:38 http://ftpmaster.internal/ubuntu/ vivid/main libio-html-perl all 1.001-1 [14.9 kB] Get:39 http://ftpmaster.internal/ubuntu/ vivid/main liblwp-mediatypes-perl all 6.02-1 [21.7 kB] Get:40 http://ftpmaster.internal/ubuntu/ vivid/main libhttp-message-perl all 6.06-1 [78.7 kB] Get:41 http://ftpmaster.internal/ubuntu/ vivid/main libhttp-cookies-perl all 6.01-1 [17.2 kB] Get:42 http://ftpmaster.internal/ubuntu/ vivid/main libhttp-negotiate-perl all 6.00-2 [13.4 kB] Get:43 http://ftpmaster.internal/ubuntu/ vivid/main libnet-ssleay-perl i386 1.65-1build1 [266 kB] Get:44 http://ftpmaster.internal/ubuntu/ vivid/main libio-socket-ssl-perl all 1.965-1ubuntu1 [73.7 kB] Get:45 http://ftpmaster.internal/ubuntu/ vivid/main libnet-http-perl all 6.07-1 [23.8 kB] Get:46 http://ftpmaster.internal/ubuntu/ vivid/main liblwp-protocol-https-perl all 6.06-2 [8682 B] Get:47 http://ftpmaster.internal/ubuntu/ vivid/main libwww-robotrules-perl all 6.01-1 [14.1 kB] Get:48 http://ftpmaster.internal/ubuntu/ vivid/main libwww-perl all 6.08-1 [146 kB] Get:49 http://ftpmaster.internal/ubuntu/ vivid/main libxml-parser-perl i386 2.41-3 [207 kB] Get:50 http://ftpmaster.internal/ubuntu/ vivid/main intltool all 0.50.2-2 [52.0 kB] Get:51 http://ftpmaster.internal/ubuntu/ vivid/main dh-translations all 121 [21.6 kB] Get:52 http://ftpmaster.internal/ubuntu/ vivid/main libpython2.7-stdlib i386 2.7.8-10ubuntu1 [1853 kB] Get:53 http://ftpmaster.internal/ubuntu/ vivid/main python2.7 i386 2.7.8-10ubuntu1 [205 kB] Get:54 http://ftpmaster.internal/ubuntu/ vivid-proposed/main python-minimal i386 2.7.8-2 [28.3 kB] Get:55 http://ftpmaster.internal/ubuntu/ vivid-proposed/main libpython-stdlib i386 2.7.8-2 [7896 B] Get:56 http://ftpmaster.internal/ubuntu/ vivid-proposed/main python i386 2.7.8-2 [137 kB] Get:57 http://ftpmaster.internal/ubuntu/ vivid/main python-scour all 0.26-3build1 [40.5 kB] Get:58 http://ftpmaster.internal/ubuntu/ vivid/main cdbs all 0.4.125ubuntu1 [43.5 kB] Get:59 http://ftpmaster.internal/ubuntu/ vivid/main dctrl-tools i386 2.23ubuntu1 [99.2 kB] Get:60 http://ftpmaster.internal/ubuntu/ vivid/main dh-buildinfo all 0.11 [16.3 kB] Get:61 http://ftpmaster.internal/ubuntu/ vivid/universe happy i386 1.19.4-1 [404 kB] Get:62 http://ftpmaster.internal/ubuntu/ vivid/main libgmp-dev i386 2:6.0.0+dfsg-6 [313 kB] Get:63 http://ftpmaster.internal/ubuntu/ vivid/main libffi-dev i386 3.1-2 [155 kB] Get:64 http://ftpmaster.internal/ubuntu/ vivid/main libbsd-dev i386 0.7.0-2 [125 kB] Get:65 http://ftpmaster.internal/ubuntu/ vivid/universe ghc i386 7.6.3-19 [25.6 MB] Get:66 http://ftpmaster.internal/ubuntu/ vivid/universe html-xml-utils i386 6.8-1 [224 kB] Get:67 http://ftpmaster.internal/ubuntu/ vivid/universe hscolour i386 1.20.3-3 [253 kB] Get:68 http://ftpmaster.internal/ubuntu/ vivid/universe ghc-haddock i386 7.6.3-19 [4055 kB] Get:69 http://ftpmaster.internal/ubuntu/ vivid/universe haskell-devscripts all 0.8.21 [25.3 kB] Get:70 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-text-dev i386 0.11.3.1-1 [1545 kB] Get:71 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-polyparse-dev i386 1.9-1 [369 kB] Get:72 http://ftpmaster.internal/ubuntu/ vivid/main libtinfo-dev i386 5.9+20140712-2ubuntu1 [75.7 kB] Get:73 http://ftpmaster.internal/ubuntu/ vivid/main libncurses5-dev i386 5.9+20140712-2ubuntu1 [177 kB] Get:74 http://ftpmaster.internal/ubuntu/ vivid-proposed/main zlib1g-dev i386 1:1.2.8.dfsg-2ubuntu1 [168 kB] Get:75 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-binary-dev i386 0.7.2.1-1 [178 kB] Get:76 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-split-dev i386 0.2.2-1 [48.4 kB] Get:77 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-boxes-dev i386 0.1.3-1 [26.9 kB] Get:78 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-cpphs-dev i386 1.18.5-1 [148 kB] Get:79 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-data-hash-dev i386 0.2.0.0-1 [60.5 kB] Get:80 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-transformers-dev i386 0.3.0.0-5 [381 kB] Get:81 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-mtl-dev i386 2.1.2-4 [105 kB] Get:82 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-stmonadtrans-dev i386 0.3.2-1 [26.3 kB] Get:83 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-equivalence-dev i386 0.2.5-1 [55.8 kB] Get:84 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-geniplate-dev i386 0.6.0.4-1 [55.8 kB] Get:85 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-hashable-dev i386 1.2.1.0-5 [35.0 kB] Get:86 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-primitive-dev i386 0.5.0.1-3 [110 kB] Get:87 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-vector-dev i386 0.10.0.1-3 [1629 kB] Get:88 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-hashtables-dev i386 1.0.1.8-2build2 [250 kB] Get:89 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-terminfo-dev i386 0.3.2.5-3 [124 kB] Get:90 http://ftpmaster.internal/ubuntu/ vivid-proposed/universe libghc-haskeline-dev i386 0.7.1.3-1 [501 kB] Get:91 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-parallel-dev i386 3.2.0.4-1 [36.1 kB] Get:92 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-random-dev i386 1.0.1.1-3 [236 kB] Get:93 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-tf-random-dev i386 0.5-1 [66.9 kB] Get:94 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-quickcheck2-dev i386 2.7.6-3 [380 kB] Get:95 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-src-exts-dev i386 1.14.0.1-1build2 [3817 kB] Get:96 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-strict-dev i386 0.3.2-7 [57.7 kB] Get:97 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-unordered-containers-dev i386 0.2.5.0-1 [137 kB] Get:98 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-xhtml-dev i386 3000.2.1-4 [204 kB] Get:99 http://ftpmaster.internal/ubuntu/ vivid/universe libghc-zlib-dev i386 0.5.4.1-1 [87.5 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 55.8 MB in 4s (12.3 MB/s) Selecting previously unselected package libbsd0:i386. (Reading database ... 11491 files and directories currently installed.) Preparing to unpack .../libbsd0_0.7.0-2_i386.deb ... Unpacking libbsd0:i386 (0.7.0-2) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../libexpat1_2.1.0-6ubuntu1_i386.deb ... Unpacking libexpat1:i386 (2.1.0-6ubuntu1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../libmagic1_1%3a5.19-1ubuntu1.1_i386.deb ... Unpacking libmagic1:i386 (1:5.19-1ubuntu1.1) ... Selecting previously unselected package libasprintf0c2:i386. Preparing to unpack .../libasprintf0c2_0.19.2-2ubuntu1_i386.deb ... Unpacking libasprintf0c2:i386 (0.19.2-2ubuntu1) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../libglib2.0-0_2.42.0-2_i386.deb ... Unpacking libglib2.0-0:i386 (2.42.0-2) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../libpipeline1_1.4.0-1_i386.deb ... Unpacking libpipeline1:i386 (1.4.0-1) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../libxml2_2.9.1+dfsg1-4ubuntu1_i386.deb ... Unpacking libxml2:i386 (2.9.1+dfsg1-4ubuntu1) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-8_i386.deb ... Unpacking groff-base (1.22.2-8) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5ubuntu1_i386.deb ... Unpacking bsdmainutils (9.0.5ubuntu1) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.7.0.2-2_i386.deb ... Unpacking man-db (2.7.0.2-2) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../libcroco3_0.6.8-3_i386.deb ... Unpacking libcroco3:i386 (0.6.8-3) ... Selecting previously unselected package libgmpxx4ldbl:i386. Preparing to unpack .../libgmpxx4ldbl_2%3a6.0.0+dfsg-6_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.0.0+dfsg-6) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../libsigsegv2_2.10-4_i386.deb ... Unpacking libsigsegv2:i386 (2.10-4) ... Selecting previously unselected package libunistring0:i386. Preparing to unpack .../libunistring0_0.9.3-5ubuntu3_i386.deb ... Unpacking libunistring0:i386 (0.9.3-5ubuntu3) ... Selecting previously unselected package libpython2.7-minimal:i386. Preparing to unpack .../libpython2.7-minimal_2.7.8-10ubuntu1_i386.deb ... Unpacking libpython2.7-minimal:i386 (2.7.8-10ubuntu1) ... Selecting previously unselected package python2.7-minimal. Preparing to unpack .../python2.7-minimal_2.7.8-10ubuntu1_i386.deb ... Unpacking python2.7-minimal (2.7.8-10ubuntu1) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.19-1ubuntu1.1_i386.deb ... Unpacking file (1:5.19-1ubuntu1.1) ... Selecting previously unselected package mime-support. Preparing to unpack .../mime-support_3.55ubuntu1_all.deb ... Unpacking mime-support (3.55ubuntu1) ... 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_i386.deb ... Unpacking gettext-base (0.19.2-2ubuntu1) ... Selecting previously unselected package alex. Preparing to unpack .../archives/alex_3.1.3-1_i386.deb ... Unpacking alex (3.1.3-1) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.17-4_i386.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_i386.deb ... Unpacking gettext (0.19.2-2ubuntu1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ... Unpacking po-debconf (1.0.16+nmu3) ... Selecting previously unselected package dh-apparmor. Preparing to unpack .../dh-apparmor_2.8.98-0ubuntu3_all.deb ... Unpacking dh-apparmor (2.8.98-0ubuntu3) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20141003ubuntu1_all.deb ... Unpacking debhelper (9.20141003ubuntu1) ... 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_i386.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.65-1build1_i386.deb ... Unpacking libnet-ssleay-perl (1.65-1build1) ... 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_i386.deb ... Unpacking libxml-parser-perl (2.41-3) ... Selecting previously unselected package intltool. Preparing to unpack .../intltool_0.50.2-2_all.deb ... Unpacking intltool (0.50.2-2) ... Selecting previously unselected package dh-translations. Preparing to unpack .../dh-translations_121_all.deb ... Unpacking dh-translations (121) ... Selecting previously unselected package libpython2.7-stdlib:i386. Preparing to unpack .../libpython2.7-stdlib_2.7.8-10ubuntu1_i386.deb ... Unpacking libpython2.7-stdlib:i386 (2.7.8-10ubuntu1) ... Selecting previously unselected package python2.7. Preparing to unpack .../python2.7_2.7.8-10ubuntu1_i386.deb ... Unpacking python2.7 (2.7.8-10ubuntu1) ... Selecting previously unselected package python-minimal. Preparing to unpack .../python-minimal_2.7.8-2_i386.deb ... Unpacking python-minimal (2.7.8-2) ... Selecting previously unselected package libpython-stdlib:i386. Preparing to unpack .../libpython-stdlib_2.7.8-2_i386.deb ... Unpacking libpython-stdlib:i386 (2.7.8-2) ... Selecting previously unselected package python. Preparing to unpack .../python_2.7.8-2_i386.deb ... Unpacking python (2.7.8-2) ... 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.125ubuntu1_all.deb ... Unpacking cdbs (0.4.125ubuntu1) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../dctrl-tools_2.23ubuntu1_i386.deb ... Unpacking dctrl-tools (2.23ubuntu1) ... 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-1_i386.deb ... Unpacking happy (1.19.4-1) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6_i386.deb ... Unpacking libgmp-dev:i386 (2:6.0.0+dfsg-6) ... Selecting previously unselected package libffi-dev:i386. Preparing to unpack .../libffi-dev_3.1-2_i386.deb ... Unpacking libffi-dev:i386 (3.1-2) ... Selecting previously unselected package libbsd-dev:i386. Preparing to unpack .../libbsd-dev_0.7.0-2_i386.deb ... Unpacking libbsd-dev:i386 (0.7.0-2) ... Selecting previously unselected package ghc. Preparing to unpack .../archives/ghc_7.6.3-19_i386.deb ... Unpacking ghc (7.6.3-19) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../html-xml-utils_6.8-1_i386.deb ... Unpacking html-xml-utils (6.8-1) ... Selecting previously unselected package hscolour. Preparing to unpack .../hscolour_1.20.3-3_i386.deb ... Unpacking hscolour (1.20.3-3) ... Selecting previously unselected package ghc-haddock. Preparing to unpack .../ghc-haddock_7.6.3-19_i386.deb ... Unpacking ghc-haddock (7.6.3-19) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../haskell-devscripts_0.8.21_all.deb ... Unpacking haskell-devscripts (0.8.21) ... Selecting previously unselected package libghc-text-dev. Preparing to unpack .../libghc-text-dev_0.11.3.1-1_i386.deb ... Unpacking libghc-text-dev (0.11.3.1-1) ... Selecting previously unselected package libghc-polyparse-dev. Preparing to unpack .../libghc-polyparse-dev_1.9-1_i386.deb ... Unpacking libghc-polyparse-dev (1.9-1) ... Selecting previously unselected package libtinfo-dev:i386. Preparing to unpack .../libtinfo-dev_5.9+20140712-2ubuntu1_i386.deb ... Unpacking libtinfo-dev:i386 (5.9+20140712-2ubuntu1) ... Selecting previously unselected package libncurses5-dev:i386. Preparing to unpack .../libncurses5-dev_5.9+20140712-2ubuntu1_i386.deb ... Unpacking libncurses5-dev:i386 (5.9+20140712-2ubuntu1) ... Selecting previously unselected package zlib1g-dev:i386. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2ubuntu1_i386.deb ... Unpacking zlib1g-dev:i386 (1:1.2.8.dfsg-2ubuntu1) ... Selecting previously unselected package libghc-binary-dev. Preparing to unpack .../libghc-binary-dev_0.7.2.1-1_i386.deb ... Unpacking libghc-binary-dev (0.7.2.1-1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../libghc-split-dev_0.2.2-1_i386.deb ... Unpacking libghc-split-dev (0.2.2-1) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../libghc-boxes-dev_0.1.3-1_i386.deb ... Unpacking libghc-boxes-dev (0.1.3-1) ... Selecting previously unselected package libghc-cpphs-dev. Preparing to unpack .../libghc-cpphs-dev_1.18.5-1_i386.deb ... Unpacking libghc-cpphs-dev (1.18.5-1) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-1_i386.deb ... Unpacking libghc-data-hash-dev (0.2.0.0-1) ... Selecting previously unselected package libghc-transformers-dev. Preparing to unpack .../libghc-transformers-dev_0.3.0.0-5_i386.deb ... Unpacking libghc-transformers-dev (0.3.0.0-5) ... Selecting previously unselected package libghc-mtl-dev. Preparing to unpack .../libghc-mtl-dev_2.1.2-4_i386.deb ... Unpacking libghc-mtl-dev (2.1.2-4) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-1_i386.deb ... Unpacking libghc-stmonadtrans-dev (0.3.2-1) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../libghc-equivalence-dev_0.2.5-1_i386.deb ... Unpacking libghc-equivalence-dev (0.2.5-1) ... Selecting previously unselected package libghc-geniplate-dev. Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-1_i386.deb ... Unpacking libghc-geniplate-dev (0.6.0.4-1) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../libghc-hashable-dev_1.2.1.0-5_i386.deb ... Unpacking libghc-hashable-dev (1.2.1.0-5) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../libghc-primitive-dev_0.5.0.1-3_i386.deb ... Unpacking libghc-primitive-dev (0.5.0.1-3) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../libghc-vector-dev_0.10.0.1-3_i386.deb ... Unpacking libghc-vector-dev (0.10.0.1-3) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../libghc-hashtables-dev_1.0.1.8-2build2_i386.deb ... Unpacking libghc-hashtables-dev (1.0.1.8-2build2) ... Selecting previously unselected package libghc-terminfo-dev. Preparing to unpack .../libghc-terminfo-dev_0.3.2.5-3_i386.deb ... Unpacking libghc-terminfo-dev (0.3.2.5-3) ... Selecting previously unselected package libghc-haskeline-dev. Preparing to unpack .../libghc-haskeline-dev_0.7.1.3-1_i386.deb ... Unpacking libghc-haskeline-dev (0.7.1.3-1) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../libghc-parallel-dev_3.2.0.4-1_i386.deb ... Unpacking libghc-parallel-dev (3.2.0.4-1) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../libghc-random-dev_1.0.1.1-3_i386.deb ... Unpacking libghc-random-dev (1.0.1.1-3) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../libghc-tf-random-dev_0.5-1_i386.deb ... Unpacking libghc-tf-random-dev (0.5-1) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-3_i386.deb ... Unpacking libghc-quickcheck2-dev (2.7.6-3) ... Selecting previously unselected package libghc-src-exts-dev. Preparing to unpack .../libghc-src-exts-dev_1.14.0.1-1build2_i386.deb ... Unpacking libghc-src-exts-dev (1.14.0.1-1build2) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../libghc-strict-dev_0.3.2-7_i386.deb ... Unpacking libghc-strict-dev (0.3.2-7) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.0-1_i386.deb ... Unpacking libghc-unordered-containers-dev (0.2.5.0-1) ... Selecting previously unselected package libghc-xhtml-dev. Preparing to unpack .../libghc-xhtml-dev_3000.2.1-4_i386.deb ... Unpacking libghc-xhtml-dev (3000.2.1-4) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../libghc-zlib-dev_0.5.4.1-1_i386.deb ... Unpacking libghc-zlib-dev (0.5.4.1-1) ... Setting up libbsd0:i386 (0.7.0-2) ... Setting up libexpat1:i386 (2.1.0-6ubuntu1) ... Setting up libmagic1:i386 (1:5.19-1ubuntu1.1) ... Setting up libasprintf0c2:i386 (0.19.2-2ubuntu1) ... Setting up libglib2.0-0:i386 (2.42.0-2) ... No schema files found: doing nothing. Setting up libpipeline1:i386 (1.4.0-1) ... Setting up libxml2:i386 (2.9.1+dfsg1-4ubuntu1) ... Setting up groff-base (1.22.2-8) ... Setting up bsdmainutils (9.0.5ubuntu1) ... 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-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libcroco3:i386 (0.6.8-3) ... Setting up libgmpxx4ldbl:i386 (2:6.0.0+dfsg-6) ... Setting up libsigsegv2:i386 (2.10-4) ... Setting up libunistring0:i386 (0.9.3-5ubuntu3) ... Setting up libpython2.7-minimal:i386 (2.7.8-10ubuntu1) ... Setting up python2.7-minimal (2.7.8-10ubuntu1) ... Linking and byte-compiling packages for runtime python2.7... Setting up file (1:5.19-1ubuntu1.1) ... Setting up mime-support (3.55ubuntu1) ... Setting up netbase (5.3) ... Setting up gettext-base (0.19.2-2ubuntu1) ... Setting up alex (3.1.3-1) ... 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.1) ... Setting up po-debconf (1.0.16+nmu3) ... Setting up dh-apparmor (2.8.98-0ubuntu3) ... Setting up debhelper (9.20141003ubuntu1) ... 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.65-1build1) ... 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 libpython2.7-stdlib:i386 (2.7.8-10ubuntu1) ... Setting up python2.7 (2.7.8-10ubuntu1) ... Setting up python-minimal (2.7.8-2) ... Setting up libpython-stdlib:i386 (2.7.8-2) ... Setting up python (2.7.8-2) ... Setting up python-scour (0.26-3build1) ... Setting up dctrl-tools (2.23ubuntu1) ... Setting up dh-buildinfo (0.11) ... Setting up happy (1.19.4-1) ... Setting up libgmp-dev:i386 (2:6.0.0+dfsg-6) ... Setting up libffi-dev:i386 (3.1-2) ... Setting up libbsd-dev:i386 (0.7.0-2) ... Setting up ghc (7.6.3-19) ... 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 html-xml-utils (6.8-1) ... Setting up hscolour (1.20.3-3) ... Setting up ghc-haddock (7.6.3-19) ... Setting up libghc-text-dev (0.11.3.1-1) ... Setting up libghc-polyparse-dev (1.9-1) ... Setting up libtinfo-dev:i386 (5.9+20140712-2ubuntu1) ... Setting up libncurses5-dev:i386 (5.9+20140712-2ubuntu1) ... Setting up zlib1g-dev:i386 (1:1.2.8.dfsg-2ubuntu1) ... Setting up libghc-binary-dev (0.7.2.1-1) ... Setting up libghc-split-dev (0.2.2-1) ... Setting up libghc-boxes-dev (0.1.3-1) ... Setting up libghc-cpphs-dev (1.18.5-1) ... Setting up libghc-data-hash-dev (0.2.0.0-1) ... Setting up libghc-transformers-dev (0.3.0.0-5) ... Setting up libghc-mtl-dev (2.1.2-4) ... Setting up libghc-stmonadtrans-dev (0.3.2-1) ... Setting up libghc-equivalence-dev (0.2.5-1) ... Setting up libghc-geniplate-dev (0.6.0.4-1) ... Setting up libghc-hashable-dev (1.2.1.0-5) ... Setting up libghc-primitive-dev (0.5.0.1-3) ... Setting up libghc-vector-dev (0.10.0.1-3) ... Setting up libghc-hashtables-dev (1.0.1.8-2build2) ... Setting up libghc-terminfo-dev (0.3.2.5-3) ... Setting up libghc-haskeline-dev (0.7.1.3-1) ... Setting up libghc-parallel-dev (3.2.0.4-1) ... Setting up libghc-random-dev (1.0.1.1-3) ... Setting up libghc-tf-random-dev (0.5-1) ... Setting up libghc-quickcheck2-dev (2.7.6-3) ... Setting up libghc-src-exts-dev (1.14.0.1-1build2) ... Setting up libghc-strict-dev (0.3.2-7) ... Setting up libghc-unordered-containers-dev (0.2.5.0-1) ... Setting up libghc-xhtml-dev (3000.2.1-4) ... Setting up libghc-zlib-dev (0.5.4.1-1) ... 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.50.2-2) ... Setting up dh-translations (121) ... Setting up cdbs (0.4.125ubuntu1) ... Setting up haskell-devscripts (0.8.21) ... Processing triggers for libc-bin (2.19-10ubuntu2) ... Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.19-10ubuntu2 make_4.0-8 dpkg-dev_1.17.13ubuntu1 gcc-4.9_4.9.1-19ubuntu1 g++-4.9_4.9.1-19ubuntu1 binutils_2.24.90.20141023-1ubuntu1 libstdc++-4.9-dev_4.9.1-19ubuntu1 libstdc++6_4.9.1-19ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::Quilt gpgv: Signature made Wed Oct 29 17:33:25 2014 UTC using RSA key ID 7D86500B gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda_2.4.0.2-2build1.dsc dpkg-source: info: extracting agda in agda-2.4.0.2 dpkg-source: info: unpacking agda_2.4.0.2.orig.tar.gz dpkg-source: info: unpacking agda_2.4.0.2-2build1.debian.tar.xz dpkg-buildpackage: source package agda dpkg-buildpackage: source version 2.4.0.2-2build1 dpkg-buildpackage: source distribution vivid dpkg-source --before-build agda-2.4.0.2 dpkg-buildpackage: host architecture i386 /usr/bin/fakeroot debian/rules clean test -x debian/rules dh_clean [ ! -x "debian/hlibrary.setup" ] || debian/hlibrary.setup clean rm -rf dist dist-ghc dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .*config* rm -f configure-ghc-stamp build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -rf debian/tmp-inst-ghc rm -f debian/extra-depends rm -f debian/libghc-agda-doc.links rm -f debian/hlibrary.Makefile 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 if test ! -e Setup.lhs -a ! -e Setup.hs; then echo "No setup script found!"; exit 1; fi for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc --make $setup -o debian/hlibrary.setup; exit 0; fi; done [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... debian/hlibrary.setup configure --ghc -v2 \ --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib \ --builddir=dist-ghc \ --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.4.0.2/ --datasubdir=agda\ --htmldir=/usr/share/doc/libghc-agda-doc/html/ \ --datadir='/usr/share' --datasubdir='libghc-agda-dev' Configuring Agda-2.4.0.2... Flags chosen: epic=False Dependency Agda ==2.4.0.2: using Agda-2.4.0.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.4.0.1 Dependency base >=4.2 && <4.8: using base-4.6.0.1 Dependency binary >=0.6 && <0.8: using binary-0.7.2.1 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.3 Dependency bytestring >=0.9.0.1 && <0.11: using bytestring-0.10.0.2 Dependency containers >=0.1 && <0.6: using containers-0.5.0.0 Dependency data-hash ==0.2.0.0: using data-hash-0.2.0.0 Dependency deepseq ==1.3.*: using deepseq-1.3.0.1 Dependency directory ==1.2.*: using directory-1.2.0.1 Dependency equivalence >=0.2.4 && <0.3: using equivalence-0.2.5 Dependency filepath >=1.1 && <1.4: using filepath-1.3.0.1 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.1.0 Dependency hashtables >=1.0 && <1.2: using hashtables-1.0.1.8 Dependency haskeline ==0.7.*: using haskeline-0.7.1.3 Dependency haskell-src-exts >=1.9.6 && <1.16: using haskell-src-exts-1.14.0.1 Dependency mtl >=2.1.1 && <2.2: using mtl-2.1.2 Dependency parallel <3.3: using parallel-3.2.0.4 Dependency pretty >=1.0 && <1.2: using pretty-1.1.1.0 Dependency process >=1.0.1.0 && <1.3: using process-1.1.0.2 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency text >=0.11 && <1.2: using text-0.11.3.1 Dependency time ==1.4.*: using time-1.4.0.1 Dependency transformers ==0.3.*: using transformers-0.3.0.0 Dependency unordered-containers ==0.2.*: using unordered-containers-0.2.5.0 Dependency xhtml ==3000.2.*: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6: using zlib-0.5.4.1 Using Cabal-1.16.0 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /usr Binaries installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/Agda-2.4.0.2 Using alex version 3.1.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.9.1 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.13.2 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.6 found on system at: /usr/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs Using hscolour version 1.20 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 debian/hlibrary.setup build --builddir=dist-ghc Building Agda-2.4.0.2... Preprocessing library Agda-2.4.0.2... [ 1 of 269] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist-ghc/build/Agda/Utils/Maybe/Strict.o ) [ 2 of 269] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o ) [ 3 of 269] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o ) [ 4 of 269] 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.4.0.1 ... linking ... done. Loading package deepseq-1.3.0.1 ... linking ... done. Loading package bytestring-0.10.0.2 ... linking ... done. Loading package zlib-0.5.4.1 ... linking ... done. Loading package xhtml-3000.2.1 ... linking ... done. Loading package text-0.11.3.1 ... linking ... done. Loading package hashable-1.2.1.0 ... linking ... done. Loading package unordered-containers-0.2.5.0 ... linking ... done. Loading package strict-0.3.2 ... linking ... done. Loading package filepath-1.3.0.1 ... linking ... done. Loading package old-locale-1.0.0.5 ... linking ... done. Loading package time-1.4.0.1 ... linking ... done. Loading package unix-2.6.0.1 ... linking ... done. Loading package directory-1.2.0.1 ... linking ... done. Loading package process-1.1.0.2 ... linking ... done. Loading package containers-0.5.0.0 ... linking ... done. Loading package parallel-3.2.0.4 ... linking ... done. Loading package old-time-1.1.0.1 ... linking ... done. Loading package polyparse-1.9 ... linking ... done. Loading package cpphs-1.18.5 ... linking ... done. Loading package pretty-1.1.1.0 ... linking ... done. Loading package haskell-src-exts-1.14.0.1 ... linking ... done. Loading package terminfo-0.3.2.5 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package haskeline-0.7.1.3 ... linking ... done. Loading package primitive-0.5.0.1 ... linking ... done. Loading package vector-0.10.0.1 ... linking ... done. Loading package hashtables-1.0.1.8 ... linking ... done. Loading package mtl-2.1.2 ... 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.2.1 ... 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. [ 5 of 269] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist-ghc/build/Agda/Utils/BiMap.o ) [ 6 of 269] Compiling Agda.Utils.Pointed ( src/full/Agda/Utils/Pointed.hs, dist-ghc/build/Agda/Utils/Pointed.o ) [ 7 of 269] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o ) [ 8 of 269] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o ) [ 9 of 269] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist-ghc/build/Agda/Utils/Unicode.o ) [ 10 of 269] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o ) [ 11 of 269] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist-ghc/build/Agda/Termination/CutOff.o ) [ 12 of 269] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist-ghc/build/Agda/Utils/Fresh.o ) [ 13 of 269] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o ) [ 14 of 269] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o ) [ 15 of 269] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o ) [ 16 of 269] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc/build/Agda/Utils/TestHelpers.o ) [ 17 of 269] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc/build/Agda/Utils/QuickCheck.o ) [ 18 of 269] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o ) [ 19 of 269] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist-ghc/build/Agda/Utils/PartialOrd.o ) [ 20 of 269] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist-ghc/build/Agda/Utils/ReadP.o ) [ 21 of 269] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o ) [ 22 of 269] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o ) [ 23 of 269] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Utils.o ) [ 24 of 269] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Syntax.o ) [ 25 of 269] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist-ghc/build/Agda/Utils/Null.o ) [ 26 of 269] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Base.o-boot ) [ 27 of 269] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o ) [ 28 of 269] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist-ghc/build/Agda/Utils/Time.o ) [ 29 of 269] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist-ghc/build/Agda/Utils/HashMap.o ) [ 30 of 269] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist-ghc/build/Agda/Interaction/Response.o-boot ) [ 31 of 269] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o ) [ 32 of 269] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o ) [ 33 of 269] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o ) [ 34 of 269] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o ) [ 35 of 269] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o ) [ 36 of 269] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist-ghc/build/Agda/Utils/Functor.o ) [ 37 of 269] Compiling Agda.Utils.Graph.AdjacencyMap ( src/full/Agda/Utils/Graph/AdjacencyMap.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap.o ) [ 38 of 269] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o ) [ 39 of 269] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o ) [ 40 of 269] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o ) [ 41 of 269] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist-ghc/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) [ 42 of 269] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o ) [ 43 of 269] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o ) [ 44 of 269] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o ) [ 45 of 269] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o ) [ 46 of 269] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o ) [ 47 of 269] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o ) [ 48 of 269] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o ) [ 49 of 269] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist-ghc/build/Agda/Compiler/JS/Parser.o ) [ 50 of 269] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o ) [ 51 of 269] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o ) [ 52 of 269] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o ) [ 53 of 269] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o ) [ 54 of 269] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o ) [ 55 of 269] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist-ghc/build/Agda/Compiler/JS/Case.o ) [ 56 of 269] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o ) [ 57 of 269] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o ) [ 58 of 269] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o ) [ 59 of 269] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o ) [ 60 of 269] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o ) [ 61 of 269] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist-ghc/build/Agda/Utils/Favorites.o ) [ 62 of 269] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) [ 63 of 269] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Tests.o ) [ 64 of 269] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o ) [ 65 of 269] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o ) [ 66 of 269] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o ) [ 67 of 269] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o ) [ 68 of 269] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o ) [ 69 of 269] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o ) [ 70 of 269] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o ) [ 71 of 269] Compiling Agda.TypeChecking.Monad.Base.Benchmark ( src/full/Agda/TypeChecking/Monad/Base/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/Benchmark.o ) [ 72 of 269] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o ) [ 73 of 269] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o ) [ 74 of 269] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o ) [ 75 of 269] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o ) [ 76 of 269] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist-ghc/build/Agda/Termination/Order.o ) [ 77 of 269] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist-ghc/build/Agda/Termination/CallMatrix.o ) [ 78 of 269] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o ) [ 79 of 269] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o ) [ 80 of 269] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o ) [ 81 of 269] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o ) [ 82 of 269] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o ) [ 83 of 269] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o ) [ 84 of 269] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot ) [ 85 of 269] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot ) [ 86 of 269] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o ) [ 87 of 269] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o ) [ 88 of 269] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o ) [ 89 of 269] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o ) [ 90 of 269] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o ) [ 91 of 269] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist-ghc/build/Agda/TypeChecking/Coverage/SplitTree.o ) [ 92 of 269] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o ) [ 93 of 269] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o ) [ 94 of 269] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o ) [ 95 of 269] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o ) [ 96 of 269] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist-ghc/build/Agda/Utils/Geniplate.o ) [ 97 of 269] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o ) [ 98 of 269] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o ) [ 99 of 269] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o ) [100 of 269] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o ) [101 of 269] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist-ghc/build/Agda/Compiler/Epic/Interface.o ) [102 of 269] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist-ghc/build/Agda/Compiler/Epic/AuxAST.o ) [103 of 269] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o ) [104 of 269] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o ) [105 of 269] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist-ghc/build/Agda/Syntax/Internal/Defs.o ) [106 of 269] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o ) [107 of 269] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o ) [108 of 269] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist-ghc/build/Agda/Syntax/Concrete/Generic.o ) [109 of 269] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o ) [110 of 269] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o ) [111 of 269] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o ) [112 of 269] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o ) [113 of 269] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc/build/Agda/Interaction/Exceptions.o ) [114 of 269] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o ) [115 of 269] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot ) [116 of 269] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist-ghc/build/Agda/TypeChecking/Errors.o-boot ) [117 of 269] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot ) [118 of 269] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o ) [119 of 269] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Abstract.o ) [120 of 269] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc/build/Agda/TypeChecking/Test/Generators.o ) [121 of 269] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist-ghc/build/Agda/Interaction/Response.o ) [122 of 269] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o-boot ) [123 of 269] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o ) [124 of 269] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot ) [125 of 269] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist-ghc/build/Agda/TypeChecking/Constraints.o-boot ) [126 of 269] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o ) [127 of 269] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist-ghc/build/Agda/TypeChecking/Monad/Benchmark.o ) [128 of 269] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o ) [129 of 269] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist-ghc/build/Agda/Interaction/Options/Lenses.o ) [130 of 269] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o ) [131 of 269] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [132 of 269] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o ) [133 of 269] Compiling Agda.TypeChecking.Monad.Sharing ( src/full/Agda/TypeChecking/Monad/Sharing.hs, dist-ghc/build/Agda/TypeChecking/Monad/Sharing.o ) [134 of 269] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist-ghc/build/Agda/Syntax/Abstract/Copatterns.o ) [135 of 269] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o ) [136 of 269] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o ) [137 of 269] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o ) [138 of 269] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o ) [139 of 269] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot ) [140 of 269] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o-boot ) [141 of 269] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) [142 of 269] Compiling Agda.TypeChecking.InstanceArguments[boot] ( src/full/Agda/TypeChecking/InstanceArguments.hs-boot, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o-boot ) [143 of 269] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o ) [144 of 269] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot ) [145 of 269] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o ) [146 of 269] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc/build/Agda/TypeChecking/Monad/Exception.o ) [147 of 269] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot ) [148 of 269] Compiling Agda.TypeChecking.Monad.Base.KillRange ( src/full/Agda/TypeChecking/Monad/Base/KillRange.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base/KillRange.o ) [149 of 269] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o ) [150 of 269] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o ) [151 of 269] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o ) [152 of 269] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o ) [153 of 269] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) [154 of 269] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o ) [155 of 269] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o ) [156 of 269] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o ) [157 of 269] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot ) [158 of 269] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o ) [159 of 269] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o ) [160 of 269] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o ) [161 of 269] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o ) [162 of 269] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o ) [163 of 269] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o ) [164 of 269] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [165 of 269] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot ) [166 of 269] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot ) [167 of 269] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o ) [168 of 269] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot ) [169 of 269] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o ) [170 of 269] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o ) [171 of 269] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist-ghc/build/Agda/Compiler/CallCompiler.o ) [172 of 269] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist-ghc/build/Agda/Interaction/Highlighting/LaTeX.o ) [173 of 269] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc/build/Agda/TypeChecking/Serialise.o ) [174 of 269] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Misc.o ) [175 of 269] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Encode.o ) [176 of 269] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pretty.o ) [177 of 269] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o ) [178 of 269] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist-ghc/build/Agda/TypeChecking/DropArgs.o ) [179 of 269] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist-ghc/build/Agda/Termination/RecCheck.o ) [180 of 269] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot ) [181 of 269] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Monad.o ) [182 of 269] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o ) [183 of 269] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) [184 of 269] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot ) [185 of 269] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist-ghc/build/Agda/TypeChecking/Forcing.o ) [186 of 269] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o ) [187 of 269] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Abstract.o ) [188 of 269] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot ) [189 of 269] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o ) [190 of 269] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o ) [191 of 269] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o ) [192 of 269] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc/build/Agda/TypeChecking/Tests.o ) [193 of 269] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist-ghc/build/Agda/Compiler/Epic/CompileState.o ) [194 of 269] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist-ghc/build/Agda/Compiler/Epic/CaseOpts.o ) [195 of 269] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist-ghc/build/Agda/Compiler/Epic/ForceConstrs.o ) [196 of 269] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist-ghc/build/Agda/Compiler/Epic/Epic.o ) [197 of 269] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist-ghc/build/Agda/Compiler/Epic/NatDetection.o ) [198 of 269] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist-ghc/build/Agda/Compiler/Epic/Primitive.o ) [199 of 269] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o ) [200 of 269] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o ) [201 of 269] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o ) [202 of 269] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o ) [203 of 269] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o ) [204 of 269] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o ) [205 of 269] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/HaskellTypes.o ) [206 of 269] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist-ghc/build/Agda/Compiler/Epic/Erasure.o ) [207 of 269] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist-ghc/build/Agda/Compiler/Epic/Injection.o ) [208 of 269] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist-ghc/build/Agda/Compiler/Epic/Smashing.o ) [209 of 269] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [210 of 269] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist-ghc/build/Agda/Termination/Monad.o ) [211 of 269] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist-ghc/build/Agda/Compiler/Epic/Static.o ) [212 of 269] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist-ghc/build/Agda/Compiler/Epic/FromAgda.o ) [213 of 269] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Primitives.o ) [214 of 269] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist-ghc/build/Agda/Termination/Inlining.o ) [215 of 269] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o ) [216 of 269] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o ) [217 of 269] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o ) [218 of 269] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o ) [219 of 269] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist-ghc/build/Agda/TypeChecking/InstanceArguments.o ) [220 of 269] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o ) [221 of 269] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o ) [222 of 269] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o ) [223 of 269] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o ) [224 of 269] Compiling Agda.Tests ( src/full/Agda/Tests.hs, dist-ghc/build/Agda/Tests.o ) [225 of 269] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist-ghc/build/Agda/TypeChecking/SyntacticEquality.o ) [226 of 269] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o ) [227 of 269] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o ) [228 of 269] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Instantiate.o ) [229 of 269] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o ) [230 of 269] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o ) [231 of 269] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist-ghc/build/Agda/TypeChecking/ProjectionLike.o ) [232 of 269] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o ) [233 of 269] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o ) [234 of 269] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc/build/Agda/TypeChecking/Injectivity.o ) [235 of 269] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc/build/Agda/TypeChecking/Conversion.o ) [236 of 269] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [237 of 269] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist-ghc/build/Agda/Compiler/Epic/Forcing.o ) [238 of 269] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist-ghc/build/Agda/TypeChecking/CheckInternal.o ) [239 of 269] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Split.o ) [240 of 269] 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 ) [241 of 269] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc/build/Agda/TypeChecking/Rules/Data.o ) [242 of 269] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes/Solve.o ) [243 of 269] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot ) [244 of 269] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [245 of 269] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc/build/Agda/TypeChecking/With.o ) [246 of 269] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o ) [247 of 269] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS.o ) [248 of 269] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc/build/Agda/TypeChecking/Coverage.o ) [249 of 269] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o ) [250 of 269] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc/build/Agda/TypeChecking/Empty.o ) [251 of 269] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o ) [252 of 269] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin.o ) [253 of 269] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o ) [254 of 269] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc/build/Agda/TypeChecking/Rules/Record.o ) [255 of 269] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc/build/Agda/TypeChecking/Rules/Def.o ) [256 of 269] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o ) [257 of 269] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist-ghc/build/Agda/TheTypeChecker.o ) [258 of 269] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc/build/Agda/Interaction/Imports.o ) [259 of 269] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o ) [260 of 269] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist-ghc/build/Agda/Compiler/Epic/Compiler.o ) [261 of 269] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist-ghc/build/Agda/Compiler/JS/Compiler.o ) [262 of 269] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc/build/Agda/Interaction/BasicOps.o ) [263 of 269] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist-ghc/build/Agda/Interaction/CommandLine/CommandLine.o ) [264 of 269] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc/build/Agda/Interaction/MakeCase.o ) [265 of 269] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o ) [266 of 269] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist-ghc/build/Agda/Auto/Auto.o ) [267 of 269] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist-ghc/build/Agda/Interaction/InteractionTop.o ) [268 of 269] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist-ghc/build/Agda/Interaction/EmacsTop.o ) [269 of 269] Compiling Agda.Main ( src/full/Agda/Main.hs, dist-ghc/build/Agda/Main.o ) In-place registering Agda-2.4.0.2... Preprocessing executable 'agda-mode' for Agda-2.4.0.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 ... Preprocessing executable 'agda' for Agda-2.4.0.2... [1 of 1] Compiling Main ( src/main/Main.hs, dist-ghc/build/agda/agda-tmp/Main.o ) Linking dist-ghc/build/agda/agda ... 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/Agda-2.4.0.2/ghc-7.6.3 Installing executable(s) in debian/tmp-inst-ghc/usr/bin pkg_config=`debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config | tr -d ' \n' | sed -r 's,^.*:,,'` ; \ dh_haskell_extra_depends $pkg_config ; \ rm $pkg_config cd debian/tmp-inst-ghc ; find usr/lib/haskell-packages/ghc/lib/ \ \( ! -name "*_p.a" ! -name "*.p_hi" \) \ -exec install -Dm 644 '{}' ../libghc-agda-dev/'{}' ';' install: target '../libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/' is not a directory: No such file or directory install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo' install: omitting directory 'usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic' pkg_config=`debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config | tr -d ' \n' | sed -r 's,^.*:,,'`; \ \ install -Dm 644 $pkg_config debian/libghc-agda-dev/var/lib/ghc/package.conf.d/$pkg_config; \ rm -f $pkg_config if [ 'z' != 'z' ] ; then \ echo '' > debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/agda-2.4.0.2/extra-packages ; \ fi dh_haskell_provides -plibghc-agda-dev dh_haskell_depends -plibghc-agda-dev dh_haskell_shlibdeps -plibghc-agda-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs -plibghc-agda-dev Agda_datadir=/build/buildd/agda-2.4.0.2/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \ debian/tmp-inst-ghc/usr/bin/agda \ /build/buildd/agda-2.4.0.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 -pagda-bin dh_installdocs -plibghc-agda-dev ./README 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 ./README 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: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: 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.0.2/debian/libghc-agda-dev-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/agda-2.4.0.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 dh_strip -pagda-bin dh_strip debug symbol extraction: not enabling -a because /CurrentlyBuilding exists dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: 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.0.2/debian/agda-bin-dbgsym': No such file or directory /usr/bin/pkg_create_dbgsym: nothing in /build/buildd/agda-2.4.0.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 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 ${shlibs:Depends} dpkg-gencontrol: warning: package libghc-agda-dev: unused substitution variable ${haskell:ghc-version} # 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_i386.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: warning: 'debian/libghc-agda-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: 'debian/libghc-agda-dev/DEBIAN/control' contains user-defined field 'Ghc-Package' dpkg-deb: warning: ignoring 2 warnings about the control file(s) dpkg-deb: building package `libghc-agda-dev' in `../libghc-agda-dev_2.4.0.2-2build1_i386.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} # 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_i386.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: warning: 'debian/agda-bin/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `agda-bin' in `../agda-bin_2.4.0.2-2build1_i386.deb'. dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../agda_2.4.0.2-2build1_i386.changes dpkg-genchanges: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build agda-2.4.0.2 dpkg-buildpackage: binary-only upload (no source included) ****************************************************************************** Build finished at 20141029-1741 chroot-autobuild/build/buildd/libghc-agda-dev_2.4.0.2-2build1_i386.deb: new debian package, version 2.0. size 9608392 bytes: control archive= 9584 bytes. 2399 bytes, 29 lines control 29880 bytes, 251 lines md5sums Package: libghc-agda-dev Source: agda Version: 2.4.0.2-2build1 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Installed-Size: 64664 Depends: libghc-quickcheck-dev-2.7.6-4f347, libghc-stmonadtrans-dev-0.3.2-9e586, libghc-array-dev-0.4.0.1-63807, libghc-base-dev-4.6.0.1-ced5f, libghc-binary-dev-0.7.2.1-622d6, libghc-boxes-dev-0.1.3-7f681, libghc-bytestring-dev-0.10.0.2-0b661, libghc-containers-dev-0.5.0.0-3b8b8, libghc-data-hash-dev-0.2.0.0-09975, libghc-deepseq-dev-1.3.0.1-aa1be, libghc-directory-dev-1.2.0.1-0f669, libghc-equivalence-dev-0.2.5-03764, libghc-filepath-dev-1.3.0.1-edbc3, libghc-geniplate-dev-0.6.0.4-46429, libghc-hashable-dev-1.2.1.0-a535b, libghc-hashtables-dev-1.0.1.8-07df3, libghc-haskeline-dev-0.7.1.3-9b820, libghc-haskell-src-exts-dev-1.14.0.1-2ff59, libghc-mtl-dev-2.1.2-735d9, libghc-parallel-dev-3.2.0.4-7be34, libghc-pretty-dev-1.1.1.0-2de27, libghc-process-dev-1.1.0.2-a830d, libghc-strict-dev-0.3.2-54353, libghc-text-dev-0.11.3.1-f9af5, libghc-time-dev-1.4.0.1-11dda, libghc-transformers-dev-0.3.0.0-948c0, libghc-unordered-containers-dev-0.2.5.0-6fa29, libghc-xhtml-dev-3000.2.1-af6a0, libghc-zlib-dev-0.5.4.1-f8b2b Suggests: libghc-agda-doc Provides: libghc-agda-dev-2.4.0.2-4b83e 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.0.2-4b83e378ae7df4a068d58c7392f3d665 chroot-autobuild/build/buildd/agda-bin_2.4.0.2-2build1_i386.deb: new debian package, version 2.0. size 3728586 bytes: control archive= 1213 bytes. 1448 bytes, 29 lines control 258 bytes, 4 lines md5sums Package: agda-bin Source: agda Version: 2.4.0.2-2build1 Architecture: i386 Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Installed-Size: 22705 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5, zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.3.2), libghc-agda-dev (<< 2.3.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.0.2-2build1_i386.deb: drwxr-xr-x root/root 0 2014-10-29 17:40 ./ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/ -rw-r--r-- root/root 69188 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/Monad.hi -rw-r--r-- root/root 114828 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Scope/Base.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/ -rw-r--r-- root/root 7995 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Alex.hi -rw-r--r-- root/root 23228 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Parser.hi -rw-r--r-- root/root 19308 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/LexActions.hi -rw-r--r-- root/root 23906 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/LookAhead.hi -rw-r--r-- root/root 10495 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Layout.hi -rw-r--r-- root/root 33609 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Monad.hi -rw-r--r-- root/root 13109 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Lexer.hi -rw-r--r-- root/root 28995 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Tokens.hi -rw-r--r-- root/root 9717 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/StringLiterals.hi -rw-r--r-- root/root 12111 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser/Comments.hi -rw-r--r-- root/root 31782 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Fixity.hi -rw-r--r-- root/root 11239 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Parser.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/ -rw-r--r-- root/root 35645 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators.hi -rw-r--r-- root/root 83070 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Pretty.hi -rw-r--r-- root/root 39075 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Name.hi -rw-r--r-- root/root 37571 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Generic.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/ -rw-r--r-- root/root 26092 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Operators/Parser.hi -rw-r--r-- root/root 41157 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete/Definitions.hi -rw-r--r-- root/root 188493 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Common.hi -rw-r--r-- root/root 109136 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Concrete.hi -rw-r--r-- root/root 158756 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal.hi -rw-r--r-- root/root 114127 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/ -rw-r--r-- root/root 125242 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/AbstractToConcrete.hi -rw-r--r-- root/root 94334 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/ConcreteToAbstract.hi -rw-r--r-- root/root 115704 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Translation/InternalToAbstract.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/ -rw-r--r-- root/root 51440 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Generic.hi -rw-r--r-- root/root 14852 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Pattern.hi -rw-r--r-- root/root 21738 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Internal/Defs.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/ -rw-r--r-- root/root 12518 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Pretty.hi -rw-r--r-- root/root 62113 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Name.hi -rw-r--r-- root/root 27412 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Views.hi -rw-r--r-- root/root 50564 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Abstract/Copatterns.hi -rw-r--r-- root/root 204103 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Position.hi -rw-r--r-- root/root 43609 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Info.hi -rw-r--r-- root/root 15547 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Notation.hi -rw-r--r-- root/root 13247 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Syntax/Literal.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/ -rw-r--r-- root/root 19270 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Irrelevance.hi -rw-r--r-- root/root 31263 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Errors.hi -rw-r--r-- root/root 13438 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CheckInternal.hi -rw-r--r-- root/root 27332 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Free.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/ -rw-r--r-- root/root 31826 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin/Coinduction.hi -rw-r--r-- root/root 17122 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Record.hi -rw-r--r-- root/root 60493 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Term.hi -rw-r--r-- root/root 28933 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Data.hi -rw-r--r-- root/root 28265 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS.hi -rw-r--r-- root/root 27030 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Def.hi -rw-r--r-- root/root 42308 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Decl.hi -rw-r--r-- root/root 22489 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/Builtin.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/ -rw-r--r-- root/root 15559 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Instantiate.hi -rw-r--r-- root/root 16576 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Split.hi -rw-r--r-- root/root 15103 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/ProblemRest.hi -rw-r--r-- root/root 18263 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Implicit.hi -rw-r--r-- root/root 172774 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Unify.hi -rw-r--r-- root/root 54755 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Rules/LHS/Problem.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/ -rw-r--r-- root/root 18503 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Match.hi -rw-r--r-- root/root 14218 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Patterns/Abstract.hi -rw-r--r-- root/root 17560 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Telescope.hi -rw-r--r-- root/root 71341 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Positivity.hi -rw-r--r-- root/root 79885 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars.hi -rw-r--r-- root/root 30894 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Polarity.hi -rw-r--r-- root/root 17926 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/ProjectionLike.hi -rw-r--r-- root/root 63227 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Records.hi -rw-r--r-- root/root 41403 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes.hi -rw-r--r-- root/root 45706 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause.hi -rw-r--r-- root/root 19767 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/InstanceArguments.hi -rw-r--r-- root/root 26515 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Datatypes.hi -rw-r--r-- root/root 22440 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DisplayForm.hi -rw-r--r-- root/root 198240 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Primitive.hi -rw-r--r-- root/root 14996 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/EtaContract.hi -rw-r--r-- root/root 15917 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Implicit.hi -rw-r--r-- root/root 76040 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Pretty.hi -rw-r--r-- root/root 148439 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Substitute.hi -rw-r--r-- root/root 65067 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad.hi -rw-r--r-- root/root 189168 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/ -rw-r--r-- root/root 18532 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Mention.hi -rw-r--r-- root/root 84868 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/MetaVars/Occurs.hi -rw-r--r-- root/root 56163 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Quote.hi -rw-r--r-- root/root 82333 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SyntacticEquality.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/ -rw-r--r-- root/root 18755 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/SplitTree.hi -rw-r--r-- root/root 20201 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage/Match.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test/ -rw-r--r-- root/root 103537 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Test/Generators.hi -rw-r--r-- root/root 37003 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Conversion.hi -rw-r--r-- root/root 10211 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Forcing.hi -rw-r--r-- root/root 295735 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Serialise.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce/ -rw-r--r-- root/root 23987 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Reduce/Monad.hi -rw-r--r-- root/root 38496 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Constraints.hi -rw-r--r-- root/root 32803 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Coverage.hi -rw-r--r-- root/root 16664 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/With.hi -rw-r--r-- root/root 34792 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/RecordPatterns.hi -rw-r--r-- root/root 16911 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Injectivity.hi -rw-r--r-- root/root 18724 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Abstract.hi -rw-r--r-- root/root 17404 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Tests.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/ -rw-r--r-- root/root 12942 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Open.hi -rw-r--r-- root/root 22873 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Env.hi -rw-r--r-- root/root 75556 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/MetaVars.hi -rw-r--r-- root/root 8206 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Closure.hi -rw-r--r-- root/root 44470 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/SizedTypes.hi -rw-r--r-- root/root 9129 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Statistics.hi -rw-r--r-- root/root 72830 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Context.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/ -rw-r--r-- root/root 20076 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/KillRange.hi -rw-r--r-- root/root 15513 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base/Benchmark.hi -rw-r--r-- root/root 34821 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Exception.hi -rw-r--r-- root/root 16057 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Trace.hi -rw-r--r-- root/root 1413 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Debug.hi -rw-r--r-- root/root 14611 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Sharing.hi -rw-r--r-- root/root 18011 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Benchmark.hi -rw-r--r-- root/root 61687 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Options.hi -rw-r--r-- root/root 368807 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Base.hi -rw-r--r-- root/root 87724 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Signature.hi -rw-r--r-- root/root 43174 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/State.hi -rw-r--r-- root/root 28592 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Constraints.hi -rw-r--r-- root/root 23420 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Mutual.hi -rw-r--r-- root/root 23652 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Imports.hi -rw-r--r-- root/root 53344 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Monad/Builtin.hi -rw-r--r-- root/root 10374 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Empty.hi -rw-r--r-- root/root 11819 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/DropArgs.hi -rw-r--r-- root/root 10830 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/LevelConstraints.hi -rw-r--r-- root/root 29854 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/Level.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/ -rw-r--r-- root/root 13736 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Match.hi -rw-r--r-- root/root 17600 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/CompiledClause/Compile.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/ -rw-r--r-- root/root 110868 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/WarshallSolver.hi -rw-r--r-- root/root 56335 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Tests.hi -rw-r--r-- root/root 2973 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Utils.hi -rw-r--r-- root/root 43928 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Solve.hi -rw-r--r-- root/root 65805 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TypeChecking/SizedTypes/Syntax.hi -rw-r--r-- root/root 1158 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/ImpossibleTest.hi -rw-r--r-- root/root 41109 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Main.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/ -rw-r--r-- root/root 5427 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CutOff.hi -rw-r--r-- root/root 37551 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/TermCheck.hi -rw-r--r-- root/root 13458 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/RecCheck.hi -rw-r--r-- root/root 80495 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Monad.hi -rw-r--r-- root/root 48109 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CallMatrix.hi -rw-r--r-- root/root 15204 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Inlining.hi -rw-r--r-- root/root 131379 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/SparseMatrix.hi -rw-r--r-- root/root 24439 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/CallGraph.hi -rw-r--r-- root/root 36596 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Termination.hi -rw-r--r-- root/root 24893 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Order.hi -rw-r--r-- root/root 11689 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Termination/Semiring.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/ -rw-r--r-- root/root 54024 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Convert.hi -rw-r--r-- root/root 18661 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Auto.hi -rw-r--r-- root/root 37423 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Typecheck.hi -rw-r--r-- root/root 48322 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/NarrowingSearch.hi -rw-r--r-- root/root 31203 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/SearchControl.hi -rw-r--r-- root/root 22993 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/CaseSplit.hi -rw-r--r-- root/root 25549 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Auto/Syntax.hi -rw-r--r-- root/root 9804 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/TheTypeChecker.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/ -rw-r--r-- root/root 2081 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/Binary.hi -rw-r--r-- root/root 3914 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/IO/UTF8.hi -rw-r--r-- root/root 8225 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Map.hi -rw-r--r-- root/root 2447 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Null.hi -rw-r--r-- root/root 15846 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/FileName.hi -rw-r--r-- root/root 17230 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Tuple.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap/ -rw-r--r-- root/root 111647 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hi -rw-r--r-- root/root 78325 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Graph/AdjacencyMap.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe/ -rw-r--r-- root/root 36316 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe/Strict.hi -rw-r--r-- root/root 40955 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Update.hi -rw-r--r-- root/root 3266 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Fresh.hi -rw-r--r-- root/root 34311 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Permutation.hi -rw-r--r-- root/root 1906 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pointed.hi -rw-r--r-- root/root 17555 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Cluster.hi -rw-r--r-- root/root 18319 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Trie.hi -rw-r--r-- root/root 46610 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/ReadP.hi -rw-r--r-- root/root 6851 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pretty.hi -rw-r--r-- root/root 6018 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Impossible.hi -rw-r--r-- root/root 20064 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Monad.hi -rw-r--r-- root/root 2161 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Char.hi -rw-r--r-- root/root 8743 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Either.hi -rw-r--r-- root/root 9529 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Functor.hi -rw-r--r-- root/root 6427 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Suffix.hi -rw-r--r-- root/root 85602 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/PartialOrd.hi -rw-r--r-- root/root 4472 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Size.hi -rw-r--r-- root/root 1500 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Unicode.hi -rw-r--r-- root/root 1649 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/VarSet.hi -rw-r--r-- root/root 1465 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Time.hi -rw-r--r-- root/root 9131 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/QuickCheck.hi -rw-r--r-- root/root 5794 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Maybe.hi -rw-r--r-- root/root 13249 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Geniplate.hi -rw-r--r-- root/root 13852 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/TestHelpers.hi -rw-r--r-- root/root 4429 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Function.hi -rw-r--r-- root/root 33588 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Favorites.hi -rw-r--r-- root/root 4628 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Hash.hi -rw-r--r-- root/root 29714 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/BiMap.hi -rw-r--r-- root/root 18101 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Pointer.hi -rw-r--r-- root/root 66738 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/Warshall.hi -rw-r--r-- root/root 35128 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/List.hi -rw-r--r-- root/root 5096 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/String.hi -rw-r--r-- root/root 2257 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/HashMap.hi -rw-r--r-- root/root 2028 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Utils/SemiRing.hi -rw-r--r-- root/root 1545 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Version.hi -rw-r--r-- root/root 14416 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Tests.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/ -rw-r--r-- root/root 20713 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/EmacsTop.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine/ -rw-r--r-- root/root 45951 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/CommandLine/CommandLine.hi -rw-r--r-- root/root 23041 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/MakeCase.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options/ -rw-r--r-- root/root 44351 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options/Lenses.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/ -rw-r--r-- root/root 9199 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Emacs.hi -rw-r--r-- root/root 16091 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Dot.hi -rw-r--r-- root/root 9838 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/HTML.hi -rw-r--r-- root/root 39931 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Generate.hi -rw-r--r-- root/root 15594 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Vim.hi -rw-r--r-- root/root 93668 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Precise.hi -rw-r--r-- root/root 23761 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/Range.hi -rw-r--r-- root/root 17141 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Highlighting/LaTeX.hi -rw-r--r-- root/root 14600 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Monad.hi -rw-r--r-- root/root 8380 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/EmacsCommand.hi -rw-r--r-- root/root 94139 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Options.hi -rw-r--r-- root/root 21698 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/FindFile.hi -rw-r--r-- root/root 135268 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/InteractionTop.hi -rw-r--r-- root/root 10795 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Response.hi -rw-r--r-- root/root 49174 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Imports.hi -rw-r--r-- root/root 5071 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/Exceptions.hi -rw-r--r-- root/root 102009 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Interaction/BasicOps.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/ -rw-r--r-- root/root 9293 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/CallCompiler.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/ -rw-r--r-- root/root 13697 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Substitution.hi -rw-r--r-- root/root 43218 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Parser.hi -rw-r--r-- root/root 16102 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Case.hi -rw-r--r-- root/root 12753 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Pretty.hi -rw-r--r-- root/root 51259 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Compiler.hi -rw-r--r-- root/root 39046 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/JS/Syntax.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/ -rw-r--r-- root/root 10335 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Pretty.hi -rw-r--r-- root/root 103744 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Primitives.hi -rw-r--r-- root/root 17652 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Encode.hi -rw-r--r-- root/root 30879 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Misc.hi -rw-r--r-- root/root 62446 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/MAlonzo/Compiler.hi -rw-r--r-- root/root 23533 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/HaskellTypes.hi drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/ -rw-r--r-- root/root 20369 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Static.hi -rw-r--r-- root/root 9612 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/CaseOpts.hi -rw-r--r-- root/root 44974 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/CompileState.hi -rw-r--r-- root/root 8157 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Epic.hi -rw-r--r-- root/root 32163 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Primitive.hi -rw-r--r-- root/root 10815 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/ForceConstrs.hi -rw-r--r-- root/root 21802 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Erasure.hi -rw-r--r-- root/root 26222 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Forcing.hi -rw-r--r-- root/root 16327 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Smashing.hi -rw-r--r-- root/root 34354 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/AuxAST.hi -rw-r--r-- root/root 48473 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Injection.hi -rw-r--r-- root/root 13635 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/NatDetection.hi -rw-r--r-- root/root 17480 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Compiler.hi -rw-r--r-- root/root 27926 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/Interface.hi -rw-r--r-- root/root 20923 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Agda/Compiler/Epic/FromAgda.hi -rw-r--r-- root/root 6893 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/Paths_Agda.hi -rw-r--r-- root/root 22226656 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/HSAgda-2.4.0.2.o -rw-r--r-- root/root 34241062 2014-10-29 17:40 ./usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3/libHSAgda-2.4.0.2.a drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/libghc-agda-dev/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/libghc-agda-dev/lib/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/libghc-agda-dev/lib/prim/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/libghc-agda-dev/lib/prim/Agda/ -rw-r--r-- root/root 2590 2014-10-29 17:40 ./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agdai -rw-r--r-- root/root 885 2014-10-29 17:40 ./usr/share/libghc-agda-dev/lib/prim/Agda/Primitive.agda -rw-r--r-- root/root 1219 2014-10-29 17:40 ./usr/share/libghc-agda-dev/Agda.css drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/doc/libghc-agda-dev/ -rw-r--r-- root/root 3716 2014-07-29 18:41 ./usr/share/doc/libghc-agda-dev/README.gz -rw-r--r-- root/root 3421 2014-08-10 22:02 ./usr/share/doc/libghc-agda-dev/copyright -rw-r--r-- root/root 1402 2014-10-29 17:40 ./usr/share/doc/libghc-agda-dev/changelog.Debian.gz drwxr-xr-x root/root 0 2014-10-29 17:40 ./var/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./var/lib/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./var/lib/ghc/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./var/lib/ghc/package.conf.d/ -rw-r--r-- root/root 13015 2014-10-29 17:40 ./var/lib/ghc/package.conf.d/Agda-2.4.0.2.conf chroot-autobuild/build/buildd/agda-bin_2.4.0.2-2build1_i386.deb: drwxr-xr-x root/root 0 2014-10-29 17:40 ./ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/bin/ -rwxr-xr-x root/root 23164636 2014-10-29 17:40 ./usr/bin/agda drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/ drwxr-xr-x root/root 0 2014-10-29 17:40 ./usr/share/doc/ drwxr-xr-x root/root 0 2014-10-29 17:41 ./usr/share/doc/agda-bin/ -rw-r--r-- root/root 3716 2014-07-29 18:41 ./usr/share/doc/agda-bin/README.gz -rw-r--r-- root/root 3421 2014-08-10 22:02 ./usr/share/doc/agda-bin/copyright -rw-r--r-- root/root 1401 2014-10-29 17:41 ./usr/share/doc/agda-bin/changelog.Debian.gz agda_2.4.0.2-2build1_i386.changes: Format: 1.8 Date: Wed, 29 Oct 2014 17:33:18 +0000 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: i386 Version: 2.4.0.2-2build1 Distribution: vivid-proposed Urgency: medium Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Colin Watson 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.0.2-2build1) vivid; urgency=medium . * Rebuild for new GHC ABIs. Checksums-Sha1: 159a8bcc93a5e5e37b689a36148af4d30a21b565 9608392 libghc-agda-dev_2.4.0.2-2build1_i386.deb 12b209d90bc92915ca011fc8a26b40a67380b16d 3728586 agda-bin_2.4.0.2-2build1_i386.deb Checksums-Sha256: 2e91afe236efbf39d3c79421811af07ea774f420872b2b47e176aa512d6535ba 9608392 libghc-agda-dev_2.4.0.2-2build1_i386.deb 8d559dfbb852d28482f3bbf1ec75118725305d3dd3277a7f7f1673ef744b324b 3728586 agda-bin_2.4.0.2-2build1_i386.deb Files: 2c9af1ed3745a2745faddf8a6b66f026 9608392 haskell extra libghc-agda-dev_2.4.0.2-2build1_i386.deb 0c8e71bda0133d8850a4cc48903a8caa 3728586 haskell extra agda-bin_2.4.0.2-2build1_i386.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20141029-1741 Build needed 00:05:37, 339940k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['scan-for-processes', 'PACKAGEBUILD-6518715'] Scanning for processes to kill in build /home/buildd/build-PACKAGEBUILD-6518715/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'PACKAGEBUILD-6518715'] Unmounting chroot for build PACKAGEBUILD-6518715... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'PACKAGEBUILD-6518715'] Removing build PACKAGEBUILD-6518715