RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d', '/home/buildd/filecache-default/b72a562e5d53816a2333cb4e86c31c3acc95a606'] Synching the system clock with the buildd NTP service... 4 Jul 09:42:34 ntpdate[22401]: adjust time server 10.211.37.1 offset 0.000396 sec Unpacking chroot for build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d'] Mounting chroot for build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d', 'universe'] Attempting OGRE for universe in build-8b015a9248e5d1c0d9edb688b4f780ec03cce76d No OGRE sources.list found. RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d', 'deb http://ftpmaster.internal/ubuntu maverick main universe'] Overriding sources.list in build-8b015a9248e5d1c0d9edb688b4f780ec03cce76d RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d'] Updating debian chroot for build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d Get:1 http://ftpmaster.internal maverick Release.gpg [189B] Get:2 http://ftpmaster.internal maverick Release [57.3kB] Get:3 http://ftpmaster.internal maverick/main Packages [1431kB] Get:4 http://ftpmaster.internal maverick/universe Packages [5609kB] Fetched 7098kB in 31s (223kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils cpio cpp-4.4 dash dpkg dpkg-dev g++-4.4 gcc-4.4 gcc-4.4-base gcc-4.5-base gnupg gnupg-curl gpgv initramfs-tools initramfs-tools-bin libc-bin libc-dev-bin libc6 libc6-dev libcurl3-gnutls libdpkg-perl libgcc1 libglib2.0-0 libgomp1 libncurses5 libncursesw5 libplymouth2 libpng12-0 libssl0.9.8 libstdc++6 libstdc++6-4.4-dev libusb-0.1-4 linux-libc-dev locales lockfile-progs module-init-tools ncurses-base ncurses-bin net-tools openssl plymouth python-minimal python2.6-minimal sensible-utils tar 45 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 34.4MB of archives. After this operation, 696kB disk space will be freed. WARNING: The following packages cannot be authenticated! dpkg dash libc-dev-bin libc6-dev libc-bin libc6 linux-libc-dev libgomp1 gcc-4.5-base libgcc1 libstdc++6 libncurses5 ncurses-bin tar ncurses-base libssl0.9.8 python2.6-minimal python-minimal sensible-utils libusb-0.1-4 gpgv gnupg lockfile-progs cpio module-init-tools initramfs-tools initramfs-tools-bin libglib2.0-0 libncursesw5 plymouth libpng12-0 libplymouth2 locales net-tools g++-4.4 libstdc++6-4.4-dev gcc-4.4 cpp-4.4 gcc-4.4-base binutils libcurl3-gnutls openssl dpkg-dev libdpkg-perl gnupg-curl Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick/main dpkg 1.15.7.2ubuntu2 [1873kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main dash 0.5.5.1-7ubuntu1 [94.2kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main libc-dev-bin 2.12-0ubuntu4 [215kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main libc6-dev 2.12-0ubuntu4 [2427kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main libc-bin 2.12-0ubuntu4 [690kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick/main libc6 2.12-0ubuntu4 [4046kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main linux-libc-dev 2.6.35-6.9 [783kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main libgomp1 4.5.0-7ubuntu1 [22.6kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.5-base 4.5.0-7ubuntu1 [118kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/main libgcc1 1:4.5.0-7ubuntu1 [22.1kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main libstdc++6 4.5.0-7ubuntu1 [277kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main libncurses5 5.7+20100313-2ubuntu1 [175kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main ncurses-bin 5.7+20100313-2ubuntu1 [316kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main tar 1.23-2 [388kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main ncurses-base 5.7+20100313-2ubuntu1 [188kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main libssl0.9.8 0.9.8o-1ubuntu1 [815kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick/main python2.6-minimal 2.6.5+20100628-2ubuntu1 [1389kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main python-minimal 2.6.5-5ubuntu3 [29.5kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main sensible-utils 0.0.4ubuntu1 [7448B] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main libusb-0.1-4 2:0.1.12-15ubuntu1 [20.4kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/main gpgv 1.4.10-2ubuntu2 [197kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/main gnupg 1.4.10-2ubuntu2 [1050kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/main lockfile-progs 0.1.15 [9872B] Get:24 http://ftpmaster.internal/ubuntu/ maverick/main cpio 2.11-4ubuntu1 [127kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick/main module-init-tools 3.12-1ubuntu1 [105kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/main initramfs-tools 0.96.1ubuntu4 [98.4kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/main initramfs-tools-bin 0.96.1ubuntu4 [59.8kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-0 2.25.10-1ubuntu1 [1216kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/main libncursesw5 5.7+20100313-2ubuntu1 [198kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick/main plymouth 0.8.2-2ubuntu3 [107kB] Get:31 http://ftpmaster.internal/ubuntu/ maverick/main libpng12-0 1.2.44-1 [169kB] Get:32 http://ftpmaster.internal/ubuntu/ maverick/main libplymouth2 0.8.2-2ubuntu3 [83.9kB] Get:33 http://ftpmaster.internal/ubuntu/ maverick/main locales 2.11+git20100304-6 [3489kB] Get:34 http://ftpmaster.internal/ubuntu/ maverick/main net-tools 1.60-23ubuntu3 [238kB] Get:35 http://ftpmaster.internal/ubuntu/ maverick/main g++-4.4 4.4.4-6ubuntu2 [3886kB] Get:36 http://ftpmaster.internal/ubuntu/ maverick/main libstdc++6-4.4-dev 4.4.4-6ubuntu2 [1606kB] Get:37 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.4 4.4.4-6ubuntu2 [694kB] Get:38 http://ftpmaster.internal/ubuntu/ maverick/main cpp-4.4 4.4.4-6ubuntu2 [3213kB] Get:39 http://ftpmaster.internal/ubuntu/ maverick/main gcc-4.4-base 4.4.4-6ubuntu2 [121kB] Get:40 http://ftpmaster.internal/ubuntu/ maverick/main binutils 2.20.51.20100617-0ubuntu1 [2226kB] Get:41 http://ftpmaster.internal/ubuntu/ maverick/main libcurl3-gnutls 7.21.0-1ubuntu1 [247kB] Get:42 http://ftpmaster.internal/ubuntu/ maverick/main openssl 0.9.8o-1ubuntu1 [397kB] Get:43 http://ftpmaster.internal/ubuntu/ maverick/main dpkg-dev 1.15.7.2ubuntu2 [417kB] Get:44 http://ftpmaster.internal/ubuntu/ maverick/main libdpkg-perl 1.15.7.2ubuntu2 [467kB] Get:45 http://ftpmaster.internal/ubuntu/ maverick/universe gnupg-curl 1.4.10-2ubuntu2 [75.5kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 34.4MB in 4s (7956kB/s) (Reading database ... 13213 files and directories currently installed.) Preparing to replace dpkg 1.15.7.2ubuntu1 (using .../dpkg_1.15.7.2ubuntu2_armel.deb) ... Unpacking replacement dpkg ... Setting up dpkg (1.15.7.2ubuntu2) ... (Reading database ... 13213 files and directories currently installed.) Preparing to replace dash 0.5.5.1-3ubuntu2 (using .../dash_0.5.5.1-7ubuntu1_armel.deb) ... Unpacking replacement dash ... Setting up dash (0.5.5.1-7ubuntu1) ... (Reading database ... 13214 files and directories currently installed.) Preparing to replace libc-dev-bin 2.12-0ubuntu3 (using .../libc-dev-bin_2.12-0ubuntu4_armel.deb) ... Unpacking replacement libc-dev-bin ... Preparing to replace libc6-dev 2.12-0ubuntu3 (using .../libc6-dev_2.12-0ubuntu4_armel.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libc-bin 2.12-0ubuntu3 (using .../libc-bin_2.12-0ubuntu4_armel.deb) ... Unpacking replacement libc-bin ... Setting up libc-bin (2.12-0ubuntu4) ... (Reading database ... 13214 files and directories currently installed.) Preparing to replace libc6 2.12-0ubuntu3 (using .../libc6_2.12-0ubuntu4_armel.deb) ... Unpacking replacement libc6 ... Setting up libc6 (2.12-0ubuntu4) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13214 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.35-2.3 (using .../linux-libc-dev_2.6.35-6.9_armel.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace libgomp1 4.5.0-5ubuntu1 (using .../libgomp1_4.5.0-7ubuntu1_armel.deb) ... Unpacking replacement libgomp1 ... Preparing to replace gcc-4.5-base 4.5.0-5ubuntu1 (using .../gcc-4.5-base_4.5.0-7ubuntu1_armel.deb) ... Unpacking replacement gcc-4.5-base ... Setting up gcc-4.5-base (4.5.0-7ubuntu1) ... (Reading database ... 13214 files and directories currently installed.) Preparing to replace libgcc1 1:4.5.0-5ubuntu1 (using .../libgcc1_1%3a4.5.0-7ubuntu1_armel.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.5.0-7ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13214 files and directories currently installed.) Preparing to replace libstdc++6 4.5.0-5ubuntu1 (using .../libstdc++6_4.5.0-7ubuntu1_armel.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.5.0-7ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13214 files and directories currently installed.) Preparing to replace libncurses5 5.7+20090803-2ubuntu3 (using .../libncurses5_5.7+20100313-2ubuntu1_armel.deb) ... Unpacking replacement libncurses5 ... Setting up libncurses5 (5.7+20100313-2ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13214 files and directories currently installed.) Preparing to replace ncurses-bin 5.7+20090803-2ubuntu3 (using .../ncurses-bin_5.7+20100313-2ubuntu1_armel.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.7+20100313-2ubuntu1) ... (Reading database ... 13216 files and directories currently installed.) Preparing to replace tar 1.23-1 (using .../archives/tar_1.23-2_armel.deb) ... Unpacking replacement tar ... Setting up tar (1.23-2) ... (Reading database ... 13216 files and directories currently installed.) Preparing to replace ncurses-base 5.7+20090803-2ubuntu3 (using .../ncurses-base_5.7+20100313-2ubuntu1_all.deb) ... Unpacking replacement ncurses-base ... Setting up ncurses-base (5.7+20100313-2ubuntu1) ... (Reading database ... 13166 files and directories currently installed.) Preparing to replace libssl0.9.8 0.9.8k-7ubuntu8 (using .../libssl0.9.8_0.9.8o-1ubuntu1_armel.deb) ... Unpacking replacement libssl0.9.8 ... Setting up libssl0.9.8 (0.9.8o-1ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 13155 files and directories currently installed.) Preparing to replace python2.6-minimal 2.6.5-1ubuntu6 (using .../python2.6-minimal_2.6.5+20100628-2ubuntu1_armel.deb) ... Unpacking replacement python2.6-minimal ... Setting up python2.6-minimal (2.6.5+20100628-2ubuntu1) ... (Reading database ... 13162 files and directories currently installed.) Preparing to replace python-minimal 2.6.5-0ubuntu1 (using .../python-minimal_2.6.5-5ubuntu3_all.deb) ... Unpacking replacement python-minimal ... Setting up python-minimal (2.6.5-5ubuntu3) ... (Reading database ... 13169 files and directories currently installed.) Preparing to replace sensible-utils 0.0.1ubuntu3 (using .../sensible-utils_0.0.4ubuntu1_all.deb) ... Unpacking replacement sensible-utils ... Setting up sensible-utils (0.0.4ubuntu1) ... (Reading database ... 13172 files and directories currently installed.) Preparing to replace libusb-0.1-4 2:0.1.12-15 (using .../libusb-0.1-4_2%3a0.1.12-15ubuntu1_armel.deb) ... Unpacking replacement libusb-0.1-4 ... Preparing to replace gpgv 1.4.10-2ubuntu1 (using .../gpgv_1.4.10-2ubuntu2_armel.deb) ... Unpacking replacement gpgv ... Preparing to replace gnupg 1.4.10-2ubuntu1 (using .../gnupg_1.4.10-2ubuntu2_armel.deb) ... Unpacking replacement gnupg ... Preparing to replace lockfile-progs 0.1.13ubuntu1 (using .../lockfile-progs_0.1.15_armel.deb) ... Unpacking replacement lockfile-progs ... Preparing to replace cpio 2.10-1ubuntu2 (using .../cpio_2.11-4ubuntu1_armel.deb) ... Unpacking replacement cpio ... Preparing to replace module-init-tools 3.12-1 (using .../module-init-tools_3.12-1ubuntu1_armel.deb) ... Unpacking replacement module-init-tools ... Preparing to replace initramfs-tools 0.92bubuntu78 (using .../initramfs-tools_0.96.1ubuntu4_all.deb) ... Unpacking replacement initramfs-tools ... Preparing to replace initramfs-tools-bin 0.92bubuntu78 (using .../initramfs-tools-bin_0.96.1ubuntu4_armel.deb) ... Unpacking replacement initramfs-tools-bin ... Preparing to replace libglib2.0-0 2.25.7-1ubuntu2 (using .../libglib2.0-0_2.25.10-1ubuntu1_armel.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace libncursesw5 5.7+20090803-2ubuntu3 (using .../libncursesw5_5.7+20100313-2ubuntu1_armel.deb) ... Unpacking replacement libncursesw5 ... Preparing to replace plymouth 0.8.2-2ubuntu2 (using .../plymouth_0.8.2-2ubuntu3_armel.deb) ... Unpacking replacement plymouth ... Preparing to replace libpng12-0 1.2.42-1ubuntu2 (using .../libpng12-0_1.2.44-1_armel.deb) ... Unpacking replacement libpng12-0 ... Preparing to replace libplymouth2 0.8.2-2ubuntu2 (using .../libplymouth2_0.8.2-2ubuntu3_armel.deb) ... Unpacking replacement libplymouth2 ... Preparing to replace locales 2.11+git20100304-4 (using .../locales_2.11+git20100304-6_all.deb) ... Unpacking replacement locales ... Preparing to replace net-tools 1.60-23ubuntu2 (using .../net-tools_1.60-23ubuntu3_armel.deb) ... Unpacking replacement net-tools ... Preparing to replace g++-4.4 4.4.4-4ubuntu1 (using .../g++-4.4_4.4.4-6ubuntu2_armel.deb) ... Unpacking replacement g++-4.4 ... Preparing to replace libstdc++6-4.4-dev 4.4.4-4ubuntu1 (using .../libstdc++6-4.4-dev_4.4.4-6ubuntu2_armel.deb) ... Unpacking replacement libstdc++6-4.4-dev ... Preparing to replace gcc-4.4 4.4.4-4ubuntu1 (using .../gcc-4.4_4.4.4-6ubuntu2_armel.deb) ... Unpacking replacement gcc-4.4 ... Preparing to replace cpp-4.4 4.4.4-4ubuntu1 (using .../cpp-4.4_4.4.4-6ubuntu2_armel.deb) ... Unpacking replacement cpp-4.4 ... Preparing to replace gcc-4.4-base 4.4.4-4ubuntu1 (using .../gcc-4.4-base_4.4.4-6ubuntu2_armel.deb) ... Unpacking replacement gcc-4.4-base ... Preparing to replace binutils 2.20.51.20100608-0ubuntu1 (using .../binutils_2.20.51.20100617-0ubuntu1_armel.deb) ... Unpacking replacement binutils ... Preparing to replace libcurl3-gnutls 7.19.7-1ubuntu1 (using .../libcurl3-gnutls_7.21.0-1ubuntu1_armel.deb) ... Unpacking replacement libcurl3-gnutls ... Preparing to replace openssl 0.9.8k-7ubuntu8 (using .../openssl_0.9.8o-1ubuntu1_armel.deb) ... Unpacking replacement openssl ... Preparing to replace dpkg-dev 1.15.7.2ubuntu1 (using .../dpkg-dev_1.15.7.2ubuntu2_all.deb) ... Unpacking replacement dpkg-dev ... Preparing to replace libdpkg-perl 1.15.7.2ubuntu1 (using .../libdpkg-perl_1.15.7.2ubuntu2_all.deb) ... Unpacking replacement libdpkg-perl ... Preparing to replace gnupg-curl 1.4.10-2ubuntu1 (using .../gnupg-curl_1.4.10-2ubuntu2_armel.deb) ... Leaving `diversion of /usr/lib/gnupg/gpgkeys_curl to /usr/lib/gnupg/gpgkeys_curl.non_curl by gnupg-curl' Leaving `diversion of /usr/lib/gnupg/gpgkeys_hkp to /usr/lib/gnupg/gpgkeys_hkp.non_curl by gnupg-curl' Unpacking replacement gnupg-curl ... Setting up libc-dev-bin (2.12-0ubuntu4) ... Setting up linux-libc-dev (2.6.35-6.9) ... Setting up libc6-dev (2.12-0ubuntu4) ... Setting up libgomp1 (4.5.0-7ubuntu1) ... Setting up libusb-0.1-4 (2:0.1.12-15ubuntu1) ... Setting up gpgv (1.4.10-2ubuntu2) ... Setting up gnupg (1.4.10-2ubuntu2) ... Setting up lockfile-progs (0.1.15) ... Setting up cpio (2.11-4ubuntu1) ... Setting up module-init-tools (3.12-1ubuntu1) ... Installing new version of config file /etc/modprobe.d/blacklist-firewire.conf ... Setting up initramfs-tools-bin (0.96.1ubuntu4) ... Setting up initramfs-tools (0.96.1ubuntu4) ... Installing new version of config file /etc/initramfs-tools/initramfs.conf ... update-initramfs: deferring update (trigger activated) Setting up libglib2.0-0 (2.25.10-1ubuntu1) ... Setting up libncursesw5 (5.7+20100313-2ubuntu1) ... Setting up libpng12-0 (1.2.44-1) ... Setting up libplymouth2 (0.8.2-2ubuntu3) ... Setting up plymouth (0.8.2-2ubuntu3) ... update-initramfs: deferring update (trigger activated) Setting up locales (2.11+git20100304-6) ... Setting up net-tools (1.60-23ubuntu3) ... Setting up gcc-4.4-base (4.4.4-6ubuntu2) ... Setting up cpp-4.4 (4.4.4-6ubuntu2) ... Setting up binutils (2.20.51.20100617-0ubuntu1) ... Setting up gcc-4.4 (4.4.4-6ubuntu2) ... Setting up libcurl3-gnutls (7.21.0-1ubuntu1) ... Setting up openssl (0.9.8o-1ubuntu1) ... Setting up libdpkg-perl (1.15.7.2ubuntu2) ... Setting up dpkg-dev (1.15.7.2ubuntu2) ... Setting up gnupg-curl (1.4.10-2ubuntu2) ... Setting up g++-4.4 (4.4.4-6ubuntu2) ... Setting up libstdc++6-4.4-dev (4.4.4-6ubuntu2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for initramfs-tools ... RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d', 'maverick', '--nolog', '--batch', '--archive=ubuntu', '--dist=maverick', '--purpose=PRIMARY', '--comp=universe', 'agda_2.2.6-7build1.dsc'] Initiating build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d with 0 processor cores. Automatic build of agda_2.2.6-7build1 on gourd by sbuild/armel 1.170.5 Build started at 20100704-0946 ****************************************************************************** agda_2.2.6-7build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0), haskell-devscripts (>= 0.7), cdbs (>> 0.4.58), ghc6, libghc6-quickcheck2-dev (>= 2.1.0.2), libghc6-quickcheck2-dev (<< 2.2.0.0), libghc6-binary-dev (>= 0.4.4), libghc6-binary-dev (<< 0.6), libghc6-haskeline-dev (>= 0.3), libghc6-haskeline-dev (<< 0.7), libghc6-haskell-src-dev (>= 1.0.1.1), libghc6-haskell-src-dev (<< 2), libghc6-mtl-dev (>= 1.1), libghc6-mtl-dev (<< 2), libghc6-xhtml-dev (>= 3000.2), libghc6-xhtml-dev (<< 3000.3), libghc6-zlib-dev (>= 0.4.0.1), libghc6-zlib-dev (<< 1), happy (>= 1.15), happy (<< 2), alex (>= 2.0.1), alex (<< 3), libncurses5-dev Build-Depends-Indep: ghc6-doc, libghc6-quickcheck2-doc (>= 2.1.0.2), libghc6-quickcheck2-doc (<< 2.2.0.0), libghc6-binary-doc (>= 0.4.4), libghc6-binary-doc (<< 0.6), libghc6-haskeline-doc (>= 0.3), libghc6-haskeline-doc (<< 0.7), libghc6-haskell-src-doc (>= 1.0.1.1), libghc6-haskell-src-doc (<< 2), libghc6-mtl-doc (>= 1.1), libghc6-mtl-doc (<< 2), libghc6-terminfo-doc, libghc6-xhtml-doc (>= 3000.2), libghc6-xhtml-doc (<< 3000.3), libghc6-zlib-doc (>= 0.4.0.1), libghc6-zlib-doc (<< 1) Checking for already installed source dependencies... debhelper: missing haskell-devscripts: missing cdbs: missing ghc6: missing libghc6-quickcheck2-dev: missing libghc6-quickcheck2-dev: missing libghc6-binary-dev: missing libghc6-binary-dev: missing libghc6-haskeline-dev: missing libghc6-haskeline-dev: missing libghc6-haskell-src-dev: missing libghc6-haskell-src-dev: missing libghc6-mtl-dev: missing libghc6-mtl-dev: missing libghc6-xhtml-dev: missing libghc6-xhtml-dev: missing libghc6-zlib-dev: missing libghc6-zlib-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 ghc6 libghc6-quickcheck2-dev libghc6-quickcheck2-dev libghc6-binary-dev libghc6-binary-dev libghc6-haskeline-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-haskell-src-dev libghc6-mtl-dev libghc6-mtl-dev libghc6-xhtml-dev libghc6-xhtml-dev libghc6-zlib-dev libghc6-zlib-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 fdupes file gettext gettext-base groff-base hscolour html-xml-utils html2text intltool intltool-debian libbsd-dev libbsd0 libcroco3 libexpat1 libffi-dev libffi5 libgmp3-dev libgmpxx4ldbl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libmagic1 liburi-perl libwww-perl libxml-parser-perl libxml2 m4 man-db po-debconf xutils-dev zlib1g-dev Suggested packages: autoconf2.13 autoconf-archive gnu-standards autoconf-doc libtool wamerican wordlist whois vacation devscripts doc-base debtags dh-make gettext-doc ghc6-prof ghc6-doc haskell-doc groff info-browser libghc6-binary-doc libghc6-binary-prof libghc6-haskeline-doc libghc6-haskeline-prof libghc6-haskell-src-doc libghc6-haskell-src-prof libghc6-mtl-doc libghc6-mtl-prof libghc6-quickcheck2-doc libghc6-quickcheck2-prof libghc6-xhtml-doc libghc6-xhtml-prof libghc6-zlib-doc libghc6-zlib-prof libgmp3-doc libmpfr-dev libdata-dump-perl libcrypt-ssleay-perl libio-socket-ssl-perl less www-browser libmail-box-perl Recommended packages: curl wget lynx autopoint libmailtools-perl libhtml-format-perl xml-core libmail-sendmail-perl The following NEW packages will be installed: alex autoconf automake autotools-dev bsdmainutils cdbs dctrl-tools debhelper fdupes file gettext gettext-base ghc6 groff-base happy haskell-devscripts hscolour html-xml-utils html2text intltool intltool-debian libbsd-dev libbsd0 libcroco3 libexpat1 libffi-dev libffi5 libghc6-binary-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-mtl-dev libghc6-quickcheck2-dev libghc6-xhtml-dev libghc6-zlib-dev libgmp3-dev libgmpxx4ldbl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libmagic1 libncurses5-dev liburi-perl libwww-perl libxml-parser-perl libxml2 m4 man-db po-debconf xutils-dev zlib1g-dev 0 upgraded, 50 newly installed, 0 to remove and 0 not upgraded. Need to get 101MB of archives. After this operation, 419MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 file bsdmainutils gettext-base groff-base libbsd0 libexpat1 libffi5 liburi-perl libhtml-tagset-perl libhtml-parser-perl libhtml-tree-perl libwww-perl libxml-parser-perl libxml2 man-db alex m4 autoconf autotools-dev automake html2text libcroco3 gettext intltool-debian po-debconf debhelper fdupes intltool cdbs dctrl-tools libgmpxx4ldbl libgmp3-dev libffi-dev libbsd-dev ghc6 happy xutils-dev html-xml-utils hscolour haskell-devscripts libghc6-binary-dev libghc6-mtl-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-quickcheck2-dev libghc6-xhtml-dev zlib1g-dev libghc6-zlib-dev libncurses5-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick/main libmagic1 5.03-5ubuntu1 [389kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main file 5.03-5ubuntu1 [47.4kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main bsdmainutils 8.0.11ubuntu1 [200kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main gettext-base 0.17-11ubuntu1 [70.1kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main groff-base 1.20.1-10 [1047kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick/main libbsd0 0.2.0-1 [40.8kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main libexpat1 2.0.1-7ubuntu1 [112kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main libffi5 3.0.9-2ubuntu1 [15.8kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick/main liburi-perl 1.54-1 [98.1kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-tagset-perl 3.20-2 [13.5kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-parser-perl 3.65-1 [110kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main libhtml-tree-perl 3.23-2 [208kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main libwww-perl 5.836-1 [402kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main libxml-parser-perl 2.36-1.1build3 [307kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main libxml2 2.7.7.dfsg-2ubuntu1 [781kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main man-db 2.5.7-3 [1040kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick/universe alex 2.3.3-1 [1544kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main m4 1.4.14-3 [266kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main autoconf 2.65-3ubuntu1 [772kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main autotools-dev 20100122.1 [70.7kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/main automake 1:1.11.1-1 [608kB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/main html2text 1.3.2a-15 [94.3kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/main libcroco3 0.6.2-1 [89.5kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick/main gettext 0.17-11ubuntu1 [1693kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick/main intltool-debian 0.35.0+20060710.1 [31.6kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/main po-debconf 1.0.16 [224kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/main debhelper 7.4.20ubuntu1 [467kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main fdupes 1.50-PR2-3 [20.9kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/main intltool 0.41.1-1 [103kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick/main cdbs 0.4.83ubuntu1 [1201kB] Get:31 http://ftpmaster.internal/ubuntu/ maverick/main dctrl-tools 2.14 [70.2kB] Get:32 http://ftpmaster.internal/ubuntu/ maverick/main libgmpxx4ldbl 2:4.3.2+dfsg-1ubuntu1 [18.5kB] Get:33 http://ftpmaster.internal/ubuntu/ maverick/main libgmp3-dev 2:4.3.2+dfsg-1ubuntu1 [571kB] Get:34 http://ftpmaster.internal/ubuntu/ maverick/main libffi-dev 3.0.9-2ubuntu1 [88.9kB] Get:35 http://ftpmaster.internal/ubuntu/ maverick/main libbsd-dev 0.2.0-1 [89.8kB] Get:36 http://ftpmaster.internal/ubuntu/ maverick/universe ghc6 6.12.1-13 [78.1MB] Get:37 http://ftpmaster.internal/ubuntu/ maverick/universe happy 1.18.4-2 [1638kB] Get:38 http://ftpmaster.internal/ubuntu/ maverick/main xutils-dev 1:7.5+3 [337kB] Get:39 http://ftpmaster.internal/ubuntu/ maverick/universe html-xml-utils 5.7-2 [407kB] Get:40 http://ftpmaster.internal/ubuntu/ maverick/universe hscolour 1.16-1 [1084kB] Get:41 http://ftpmaster.internal/ubuntu/ maverick/universe haskell-devscripts 0.7.10 [26.8kB] Get:42 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-binary-dev 0.5.0.2-1build1 [332kB] Get:43 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-mtl-dev 1.1.0.2-10build1 [328kB] Get:44 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-haskeline-dev 0.6.2.2-1build1 [1407kB] Get:45 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-haskell-src-dev 1.0.1.3-2 [1638kB] Get:46 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-quickcheck2-dev 2.1.0.3-1 [643kB] Get:47 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-xhtml-dev 3000.2.0.1-6build1 [303kB] Get:48 http://ftpmaster.internal/ubuntu/ maverick/main zlib1g-dev 1:1.2.3.4.dfsg-3ubuntu1 [188kB] Get:49 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-zlib-dev 0.5.2.0-4build1 [116kB] Get:50 http://ftpmaster.internal/ubuntu/ maverick/main libncurses5-dev 5.7+20100313-2ubuntu1 [1591kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 101MB in 12s (8058kB/s) Selecting previously deselected package libmagic1. (Reading database ... 13178 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_armel.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_armel.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.11ubuntu1_armel.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-11ubuntu1_armel.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-10_armel.deb) ... Selecting previously deselected package libbsd0. Unpacking libbsd0 (from .../libbsd0_0.2.0-1_armel.deb) ... Selecting previously deselected package libexpat1. Unpacking libexpat1 (from .../libexpat1_2.0.1-7ubuntu1_armel.deb) ... Selecting previously deselected package libffi5. Unpacking libffi5 (from .../libffi5_3.0.9-2ubuntu1_armel.deb) ... Selecting previously deselected package liburi-perl. Unpacking liburi-perl (from .../liburi-perl_1.54-1_all.deb) ... Selecting previously deselected package libhtml-tagset-perl. Unpacking libhtml-tagset-perl (from .../libhtml-tagset-perl_3.20-2_all.deb) ... Selecting previously deselected package libhtml-parser-perl. Unpacking libhtml-parser-perl (from .../libhtml-parser-perl_3.65-1_armel.deb) ... Selecting previously deselected package libhtml-tree-perl. Unpacking libhtml-tree-perl (from .../libhtml-tree-perl_3.23-2_all.deb) ... Selecting previously deselected package libwww-perl. Unpacking libwww-perl (from .../libwww-perl_5.836-1_all.deb) ... Selecting previously deselected package libxml-parser-perl. Unpacking libxml-parser-perl (from .../libxml-parser-perl_2.36-1.1build3_armel.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.7.dfsg-2ubuntu1_armel.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-3_armel.deb) ... Selecting previously deselected package alex. Unpacking alex (from .../alex_2.3.3-1_armel.deb) ... Selecting previously deselected package m4. Unpacking m4 (from .../archives/m4_1.4.14-3_armel.deb) ... Selecting previously deselected package autoconf. Unpacking autoconf (from .../autoconf_2.65-3ubuntu1_all.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20100122.1_all.deb) ... Selecting previously deselected package automake. Unpacking automake (from .../automake_1%3a1.11.1-1_all.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armel.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_armel.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-11ubuntu1_armel.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_7.4.20ubuntu1_all.deb) ... Selecting previously deselected package fdupes. Unpacking fdupes (from .../fdupes_1.50-PR2-3_armel.deb) ... Selecting previously deselected package intltool. Unpacking intltool (from .../intltool_0.41.1-1_all.deb) ... Selecting previously deselected package cdbs. Unpacking cdbs (from .../cdbs_0.4.83ubuntu1_all.deb) ... Selecting previously deselected package dctrl-tools. Unpacking dctrl-tools (from .../dctrl-tools_2.14_armel.deb) ... Selecting previously deselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1ubuntu1_armel.deb) ... Selecting previously deselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1ubuntu1_armel.deb) ... Selecting previously deselected package libffi-dev. Unpacking libffi-dev (from .../libffi-dev_3.0.9-2ubuntu1_armel.deb) ... Selecting previously deselected package libbsd-dev. Unpacking libbsd-dev (from .../libbsd-dev_0.2.0-1_armel.deb) ... Selecting previously deselected package ghc6. Unpacking ghc6 (from .../ghc6_6.12.1-13_armel.deb) ... Selecting previously deselected package happy. Unpacking happy (from .../happy_1.18.4-2_armel.deb) ... Selecting previously deselected package xutils-dev. Unpacking xutils-dev (from .../xutils-dev_1%3a7.5+3_armel.deb) ... Selecting previously deselected package html-xml-utils. Unpacking html-xml-utils (from .../html-xml-utils_5.7-2_armel.deb) ... Selecting previously deselected package hscolour. Unpacking hscolour (from .../hscolour_1.16-1_armel.deb) ... Selecting previously deselected package haskell-devscripts. Unpacking haskell-devscripts (from .../haskell-devscripts_0.7.10_all.deb) ... Selecting previously deselected package libghc6-binary-dev. Unpacking libghc6-binary-dev (from .../libghc6-binary-dev_0.5.0.2-1build1_armel.deb) ... Selecting previously deselected package libghc6-mtl-dev. Unpacking libghc6-mtl-dev (from .../libghc6-mtl-dev_1.1.0.2-10build1_armel.deb) ... Selecting previously deselected package libghc6-haskeline-dev. Unpacking libghc6-haskeline-dev (from .../libghc6-haskeline-dev_0.6.2.2-1build1_armel.deb) ... Selecting previously deselected package libghc6-haskell-src-dev. Unpacking libghc6-haskell-src-dev (from .../libghc6-haskell-src-dev_1.0.1.3-2_armel.deb) ... Selecting previously deselected package libghc6-quickcheck2-dev. Unpacking libghc6-quickcheck2-dev (from .../libghc6-quickcheck2-dev_2.1.0.3-1_armel.deb) ... Selecting previously deselected package libghc6-xhtml-dev. Unpacking libghc6-xhtml-dev (from .../libghc6-xhtml-dev_3000.2.0.1-6build1_armel.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu1_armel.deb) ... Selecting previously deselected package libghc6-zlib-dev. Unpacking libghc6-zlib-dev (from .../libghc6-zlib-dev_0.5.2.0-4build1_armel.deb) ... Selecting previously deselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20100313-2ubuntu1_armel.deb) ... Setting up libmagic1 (5.03-5ubuntu1) ... Setting up file (5.03-5ubuntu1) ... Setting up bsdmainutils (8.0.11ubuntu1) ... 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 gettext-base (0.17-11ubuntu1) ... Setting up groff-base (1.20.1-10) ... Setting up libbsd0 (0.2.0-1) ... Setting up libexpat1 (2.0.1-7ubuntu1) ... Setting up libffi5 (3.0.9-2ubuntu1) ... Setting up liburi-perl (1.54-1) ... Setting up libhtml-tagset-perl (3.20-2) ... Setting up libhtml-parser-perl (3.65-1) ... Setting up libhtml-tree-perl (3.23-2) ... Setting up libwww-perl (5.836-1) ... Setting up libxml-parser-perl (2.36-1.1build3) ... Setting up libxml2 (2.7.7.dfsg-2ubuntu1) ... Setting up man-db (2.5.7-3) ... Building database of manual pages ... Setting up alex (2.3.3-1) ... Setting up m4 (1.4.14-3) ... Setting up autoconf (2.65-3ubuntu1) ... Setting up autotools-dev (20100122.1) ... Setting up automake (1:1.11.1-1) ... update-alternatives: using /usr/bin/automake-1.11 to provide /usr/bin/automake (automake) in auto mode. Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up gettext (0.17-11ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (7.4.20ubuntu1) ... Setting up fdupes (1.50-PR2-3) ... Setting up intltool (0.41.1-1) ... Setting up cdbs (0.4.83ubuntu1) ... Setting up dctrl-tools (2.14) ... Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:4.3.2+dfsg-1ubuntu1) ... Setting up libffi-dev (3.0.9-2ubuntu1) ... Setting up libbsd-dev (0.2.0-1) ... Setting up ghc6 (6.12.1-13) ... update-alternatives: using /usr/bin/ghc6 to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode. update-alternatives: using /usr/lib/ghc-6.12.1/bin/ghc to provide /usr/bin/ghc (ghc) in auto mode. update-alternatives: warning: skip creation of /usr/bin/hasktags because associated file /usr/lib/ghc-6.12.1/bin/hasktags (of link group ghc) doesn't exist. Setting up happy (1.18.4-2) ... Setting up xutils-dev (1:7.5+3) ... Setting up html-xml-utils (5.7-2) ... Setting up hscolour (1.16-1) ... Setting up haskell-devscripts (0.7.10) ... Setting up libghc6-binary-dev (0.5.0.2-1build1) ... Setting up libghc6-mtl-dev (1.1.0.2-10build1) ... Setting up libghc6-haskeline-dev (0.6.2.2-1build1) ... Setting up libghc6-haskell-src-dev (1.0.1.3-2) ... Setting up libghc6-quickcheck2-dev (2.1.0.3-1) ... Setting up libghc6-xhtml-dev (3000.2.0.1-6build1) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu1) ... Setting up libghc6-zlib-dev (0.5.2.0-4build1) ... Setting up libncurses5-dev (5.7+20100313-2ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.12-0ubuntu4 make_3.81-8 dpkg-dev_1.15.7.2ubuntu2 gcc-4.4_4.4.4-6ubuntu2 g++-4.4_4.4.4-6ubuntu2 binutils_2.20.51.20100617-0ubuntu1 libstdc++6-4.4-dev_4.4.4-6ubuntu2 libstdc++6_4.5.0-7ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Wed May 26 08:08:46 2010 UTC using DSA key ID 20BFCDC7 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda_2.2.6-7build1.dsc dpkg-source: info: extracting agda in agda-2.2.6 dpkg-source: info: unpacking agda_2.2.6.orig.tar.gz dpkg-source: info: unpacking agda_2.2.6-7build1.debian.tar.gz dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package agda dpkg-buildpackage: source version 2.2.6-7build1 dpkg-buildpackage: host architecture armel /usr/bin/fakeroot debian/rules clean test -x debian/rules dh_testroot dh_clean [ ! -x "debian/hlibrary.setup" ] || debian/hlibrary.setup clean rm -rf dist dist-ghc6 dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .*config* rm -f build-ghc6-stamp build-hugs-stamp build-haddock-stamp rm -rf debian/tmp-inst-ghc6 rm -f debian/hlibrary.Makefile rm -rf debian/dh_haskell_shlibdeps debian/rules build test -x debian/rules mkdir -p "." 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 ghc6 --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/ghc6/lib \ --builddir=dist-ghc6 \ --haddockdir=/usr/lib/ghc-6.12.1/haddock/agda-2.2.6/ \ --htmldir=/usr/share/doc/libghc6-agda-doc/html/ \ --datadir='/usr/share' --datasubdir='libghc6-agda-dev' Configuring Agda-2.2.6... Flags chosen: use-locale=True Dependency QuickCheck >=2.1.0.2 && <2.2: using QuickCheck-2.1.0.3 Dependency array >=0.1 && <1: using array-0.3.0.0 Dependency base ==4.2.*: using base-4.2.0.0 Dependency binary >=0.4.4 && <0.6: using binary-0.5.0.2 Dependency bytestring >=0.9.0.1 && <1: using bytestring-0.9.1.5 Dependency containers >=0.1.0 && <1: using containers-0.3.0.0 Dependency directory ==1.*: using directory-1.0.1.0 Dependency filepath >=1.1 && <2: using filepath-1.1.0.3 Dependency haskeline >=0.3 && <0.7: using haskeline-0.6.2.2 Dependency haskell-src >=1.0.1.1 && <2: using haskell-src-1.0.1.3 Dependency mtl >=1.1 && <2: using mtl-1.1.0.2 Dependency old-time ==1.*: using old-time-1.0.0.3 Dependency pretty ==1.*: using pretty-1.0.1.1 Dependency process >=1.0.1.0 && <2: using process-1.0.1.2 Dependency syb ==0.1.*: using syb-0.1.0.2 Dependency xhtml ==3000.2.*: using xhtml-3000.2.0.1 Dependency zlib >=0.4.0.1 && <1: using zlib-0.5.2.0 Using Cabal-1.8.0.2 compiled by ghc-6.12 Using compiler: ghc-6.12.1 Using install prefix: /usr Binaries installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/libghc6-agda-dev Documentation installed in: /usr/share/doc/Agda-2.2.6 Using alex version 2.3.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.4.4 found on system at: /usr/bin/gcc Using ghc version 6.12.1 found on system at: /usr/bin/ghc Using ghc-pkg version 6.12.1 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.6.0 found on system at: /usr/bin/haddock Using happy version 1.18.4 found on system at: /usr/bin/happy No hmake found Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs Using hscolour version 1.16 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 debian/hlibrary.setup build --builddir=dist-ghc6 Preprocessing library Agda-2.2.6... Preprocessing executables for Agda-2.2.6... Building Agda-2.2.6... [ 1 of 191] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc6/build/Agda/Auto/NarrowingSearch.o ) [ 2 of 191] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc6/build/Agda/Auto/Syntax.o ) [ 3 of 191] Compiling Agda.Auto.Print ( src/full/Agda/Auto/Print.hs, dist-ghc6/build/Agda/Auto/Print.o ) [ 4 of 191] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc6/build/Agda/Auto/SearchControl.o ) [ 5 of 191] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc6/build/Agda/Auto/Typecheck.o ) [ 6 of 191] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc6/build/Agda/Utils/Pointer.o ) [ 7 of 191] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc6/build/Agda/Utils/SemiRing.o ) [ 8 of 191] Compiling Agda.Utils.Graph ( src/full/Agda/Utils/Graph.hs, dist-ghc6/build/Agda/Utils/Graph.o ) [ 9 of 191] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc6/build/Agda/Utils/Hash.o ) [ 10 of 191] Compiling Agda.Utils.Trace ( src/full/Agda/Utils/Trace.hs, dist-ghc6/build/Agda/Utils/Trace.o ) [ 11 of 191] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc6/build/Agda/Utils/Function.o ) [ 12 of 191] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc6/build/Agda/Utils/Maybe.o ) [ 13 of 191] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist-ghc6/build/Agda/Utils/Char.o ) [ 14 of 191] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist-ghc6/build/Agda/Utils/Unicode.o ) [ 15 of 191] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist-ghc6/build/Agda/Utils/ReadP.o ) [ 16 of 191] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc6/build/Agda/Utils/Suffix.o ) [ 17 of 191] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc6/build/Agda/Utils/Trie.o ) [ 18 of 191] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc6/build/Agda/Utils/IO/Binary.o ) [ 19 of 191] Compiling Paths_Agda ( dist-ghc6/build/autogen/Paths_Agda.hs, dist-ghc6/build/Paths_Agda.o ) [ 20 of 191] Compiling Agda.Utils.Generics ( src/full/Agda/Utils/Generics.hs, dist-ghc6/build/Agda/Utils/Generics.o ) [ 21 of 191] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc6/build/Agda/Utils/QuickCheck.o ) [ 22 of 191] Compiling Agda.Compiler.Alonzo.Haskell ( src/full/Agda/Compiler/Alonzo/Haskell.hs, dist-ghc6/build/Agda/Compiler/Alonzo/Haskell.o ) [ 23 of 191] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc6/build/Agda/Utils/IO/UTF8.o ) [ 24 of 191] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc6/build/Agda/Utils/Tuple.o ) [ 25 of 191] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc6/build/Agda/Utils/String.o ) [ 26 of 191] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist-ghc6/build/Agda/Utils/Fresh.o ) [ 27 of 191] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc6/build/Agda/Utils/Size.o ) [ 28 of 191] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc6/build/Agda/Utils/Permutation.o ) [ 29 of 191] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc6/build/Agda/Utils/Impossible.o ) [ 30 of 191] Compiling Agda.Compiler.Agate.TranslateName ( src/full/Agda/Compiler/Agate/TranslateName.hs, dist-ghc6/build/Agda/Compiler/Agate/TranslateName.o ) [ 31 of 191] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc6/build/Agda/Version.o ) [ 32 of 191] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc6/build/Agda/Utils/Pretty.o ) [ 33 of 191] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc6/build/Agda/Utils/Monad.o ) [ 34 of 191] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc6/build/Agda/Utils/Map.o ) [ 35 of 191] Compiling Agda.Utils.IO.Locale ( src/full/Agda/Utils/IO/Locale.hs, dist-ghc6/build/Agda/Utils/IO/Locale.o ) [ 36 of 191] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc6/build/Agda/Utils/TestHelpers.o ) [ 37 of 191] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc6/build/Agda/Utils/FileName.o ) [ 38 of 191] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc6/build/Agda/Syntax/Position.o ) [ 39 of 191] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc6/build/Agda/Syntax/Common.o ) [ 40 of 191] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc6/build/Agda/TypeChecking/Implicit.o ) [ 41 of 191] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc6/build/Agda/Syntax/Literal.o ) [ 42 of 191] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc6/build/Agda/Syntax/Concrete/Name.o ) [ 43 of 191] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc6/build/Agda/Syntax/Fixity.o ) [ 44 of 191] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc6/build/Agda/Syntax/Concrete.o ) [ 45 of 191] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc6/build/Agda/Syntax/Concrete/Pretty.o ) [ 46 of 191] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc6/build/Agda/Syntax/Abstract/Name.o ) [ 47 of 191] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc6/build/Agda/Syntax/Internal.o ) [ 48 of 191] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc6/build/Agda/TypeChecking/Free.o ) [ 49 of 191] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc6/build/Agda/Syntax/Internal/Generic.o ) [ 50 of 191] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc6/build/Agda/Syntax/Internal/Pattern.o ) [ 51 of 191] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc6/build/Agda/TypeChecking/Coverage/Match.o ) [ 52 of 191] Compiling Agda.Compiler.Alonzo.Names ( src/full/Agda/Compiler/Alonzo/Names.hs, dist-ghc6/build/Agda/Compiler/Alonzo/Names.o ) [ 53 of 191] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc6/build/Agda/Syntax/Scope/Base.o ) [ 54 of 191] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc6/build/Agda/Syntax/Info.o ) [ 55 of 191] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc6/build/Agda/Syntax/Abstract.o ) [ 56 of 191] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc6/build/Agda/Syntax/Abstract/Views.o ) [ 57 of 191] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc6/build/Agda/Syntax/Concrete/Definitions.o ) [ 58 of 191] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc6/build/Agda/Syntax/Parser/Tokens.o ) [ 59 of 191] Compiling Agda.Syntax.Strict ( src/full/Agda/Syntax/Strict.hs, dist-ghc6/build/Agda/Syntax/Strict.o ) [ 60 of 191] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc6/build/Agda/Syntax/Concrete/Operators/Parser.o ) [ 61 of 191] Compiling Agda.Interaction.FindFile[boot] ( src/full/Agda/Interaction/FindFile.hs-boot, dist-ghc6/build/Agda/Interaction/FindFile.o-boot ) [ 62 of 191] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc6/build/Agda/Syntax/Parser/Monad.o ) [ 63 of 191] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc6/build/Agda/Syntax/Parser/Alex.o ) [ 64 of 191] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc6/build/Agda/Syntax/Parser/Layout.o-boot ) [ 65 of 191] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc6/build/Agda/Syntax/Parser/LexActions.o-boot ) [ 66 of 191] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc6/build/Agda/Syntax/Parser/LookAhead.o ) [ 67 of 191] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc6/build/Agda/Syntax/Parser/Comments.o ) [ 68 of 191] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc6/build/Agda/Syntax/Parser/StringLiterals.o ) [ 69 of 191] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc6/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc6/build/Agda/Syntax/Parser/Lexer.o ) [ 70 of 191] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc6/build/Agda/Interaction/Highlighting/Range.o ) [ 71 of 191] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc6/build/Agda/Utils/List.o ) [ 72 of 191] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc6/build/Agda/Interaction/Options.o ) [ 73 of 191] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc6/build/Agda/Interaction/Highlighting/Precise.o ) [ 74 of 191] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc6/build/Agda/Syntax/Parser/LexActions.o ) [ 75 of 191] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc6/build/Agda/Syntax/Parser/Layout.o ) [ 76 of 191] Compiling Agda.Syntax.Parser.Parser ( dist-ghc6/build/Agda/Syntax/Parser/Parser.hs, dist-ghc6/build/Agda/Syntax/Parser/Parser.o ) [ 77 of 191] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc6/build/Agda/Syntax/Parser.o ) [ 78 of 191] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc6/build/Agda/Interaction/Exceptions.o ) [ 79 of 191] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Base.o ) [ 80 of 191] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc6/build/Agda/Interaction/Imports.o-boot ) [ 81 of 191] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc6/build/Agda/TypeChecking/MetaVars.o-boot ) [ 82 of 191] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc6/build/Agda/TypeChecking/Substitute.o ) [ 83 of 191] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc6/build/Agda/TypeChecking/Abstract.o ) [ 84 of 191] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [ 85 of 191] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Builtin.o ) [ 86 of 191] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Options.o ) [ 87 of 191] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc6/build/Agda/TypeChecking/Monad/State.o ) [ 88 of 191] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc6/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [ 89 of 191] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc6/build/Agda/Syntax/Scope/Monad.o ) [ 90 of 191] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc6/build/Agda/Syntax/Concrete/Operators.o ) [ 91 of 191] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Trace.o ) [ 92 of 191] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc6/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) [ 93 of 191] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc6/build/Agda/TypeChecking/Rules/Term.o-boot ) [ 94 of 191] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Exception.o ) [ 95 of 191] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc6/build/Agda/TypeChecking/Monad/Context.o-boot ) [ 96 of 191] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Env.o ) [ 97 of 191] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Open.o ) [ 98 of 191] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Context.o ) [ 99 of 191] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Imports.o ) [100 of 191] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Mutual.o ) [101 of 191] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc6/build/Agda/TypeChecking/Polarity.o-boot ) [102 of 191] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc6/build/Agda/TypeChecking/Monad/SizedTypes.o ) [103 of 191] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Statistics.o ) [104 of 191] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc6/build/Agda/Termination/Semiring.o ) [105 of 191] Compiling Agda.Termination.Matrix ( src/full/Agda/Termination/Matrix.hs, dist-ghc6/build/Agda/Termination/Matrix.o ) [106 of 191] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc6/build/Agda/Termination/CallGraph.o ) [107 of 191] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc6/build/Agda/Utils/Either.o ) [108 of 191] Compiling Agda.Termination.Lexicographic ( src/full/Agda/Termination/Lexicographic.hs, dist-ghc6/build/Agda/Termination/Lexicographic.o ) [109 of 191] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc6/build/Agda/Termination/Termination.o ) [110 of 191] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc6/build/Agda/Utils/Warshall.o ) [111 of 191] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc6/build/Agda/TypeChecking/Test/Generators.o ) [112 of 191] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Debug.o ) [113 of 191] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Signature.o ) [114 of 191] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Closure.o ) [115 of 191] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc6/build/Agda/TypeChecking/Monad/Constraints.o ) [116 of 191] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc6/build/Agda/TypeChecking/Monad/MetaVars.o ) [117 of 191] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc6/build/Agda/TypeChecking/Monad.o ) [118 of 191] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc6/build/Agda/Syntax/Abstract/Pretty.o ) [119 of 191] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc6/build/Agda/Interaction/Monad.o ) [120 of 191] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc6/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [121 of 191] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc6/build/Agda/TypeChecking/Conversion.o-boot ) [122 of 191] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc6/build/Agda/TypeChecking/Records.o-boot ) [123 of 191] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc6/build/Agda/Interaction/FindFile.o ) [124 of 191] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc6/build/Agda/TypeChecking/Serialise.o ) [125 of 191] Compiling Agda.Compiler.Alonzo.PatternMonad ( src/full/Agda/Compiler/Alonzo/PatternMonad.hs, dist-ghc6/build/Agda/Compiler/Alonzo/PatternMonad.o ) [126 of 191] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc6/build/Agda/Interaction/Highlighting/Vim.o ) [127 of 191] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc6/build/Agda/TypeChecking/Telescope.o ) [128 of 191] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc6/build/Agda/TypeChecking/Tests.o ) [129 of 191] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc6/build/Agda/TypeChecking/Rules/Decl.o-boot ) [130 of 191] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc6/build/Agda/TypeChecking/Rules/Def.o-boot ) [131 of 191] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc6/build/Agda/TypeChecking/Empty.o-boot ) [132 of 191] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc6/build/Agda/TypeChecking/Patterns/Match.o-boot ) [133 of 191] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc6/build/Agda/TypeChecking/Reduce.o ) [134 of 191] Compiling Agda.Compiler.Agate.Common ( src/full/Agda/Compiler/Agate/Common.hs, dist-ghc6/build/Agda/Compiler/Agate/Common.o ) [135 of 191] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc6/build/Agda/TypeChecking/DisplayForm.o ) [136 of 191] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc6/build/Agda/TypeChecking/Level.o ) [137 of 191] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc6/build/Agda/Syntax/Translation/InternalToAbstract.o ) [138 of 191] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc6/build/Agda/TypeChecking/Pretty.o ) [139 of 191] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc6/build/Agda/TypeChecking/Errors.o ) [140 of 191] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc6/build/Agda/TypeChecking/Records.o ) [141 of 191] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc6/build/Agda/TypeChecking/EtaContract.o ) [142 of 191] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc6/build/Agda/Compiler/HaskellTypes.o ) [143 of 191] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc6/build/Agda/TypeChecking/Constraints.o ) [144 of 191] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc6/build/Agda/TypeChecking/Primitive.o ) [145 of 191] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc6/build/Agda/TypeChecking/MetaVars/Occurs.o ) [146 of 191] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc6/build/Agda/TypeChecking/MetaVars.o ) [147 of 191] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc6/build/Agda/TypeChecking/SizedTypes.o ) [148 of 191] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc6/build/Agda/Interaction/Highlighting/Generate.o ) [149 of 191] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc6/build/Agda/Interaction/Highlighting/HTML.o ) [150 of 191] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc6/build/Agda/Interaction/Highlighting/Emacs.o ) [151 of 191] Compiling Agda.Compiler.Agate.Classify ( src/full/Agda/Compiler/Agate/Classify.hs, dist-ghc6/build/Agda/Compiler/Agate/Classify.o ) [152 of 191] Compiling Agda.Compiler.Agate.OptimizedPrinter ( src/full/Agda/Compiler/Agate/OptimizedPrinter.hs, dist-ghc6/build/Agda/Compiler/Agate/OptimizedPrinter.o ) [153 of 191] Compiling Agda.Compiler.Agate.UntypedPrinter ( src/full/Agda/Compiler/Agate/UntypedPrinter.hs, dist-ghc6/build/Agda/Compiler/Agate/UntypedPrinter.o ) [154 of 191] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc6/build/Agda/TypeChecking/Injectivity.o ) [155 of 191] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc6/build/Agda/TypeChecking/Conversion.o ) [156 of 191] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Term.o ) [157 of 191] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc6/build/Agda/Termination/TermCheck.o ) [158 of 191] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Builtin.o ) [159 of 191] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [160 of 191] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc6/build/Agda/TypeChecking/Patterns/Match.o ) [161 of 191] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc6/build/Agda/TypeChecking/Positivity.o ) [162 of 191] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc6/build/Agda/TypeChecking/Polarity.o ) [163 of 191] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Data.o ) [164 of 191] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Record.o ) [165 of 191] Compiling Agda.TypeChecking.Rebind ( src/full/Agda/TypeChecking/Rebind.hs, dist-ghc6/build/Agda/TypeChecking/Rebind.o ) [166 of 191] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS/Split.o ) [167 of 191] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS/Instantiate.o ) [168 of 191] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [169 of 191] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc6/build/Agda/TypeChecking/Rules/LHS.o ) [170 of 191] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc6/build/Agda/TypeChecking/Coverage.o ) [171 of 191] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc6/build/Agda/TypeChecking/Empty.o ) [172 of 191] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc6/build/Agda/TypeChecking/With.o ) [173 of 191] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Def.o ) [174 of 191] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc6/build/Agda/TypeChecking/Rules/Decl.o ) [175 of 191] Compiling Agda.TypeChecker ( src/full/Agda/TypeChecker.hs, dist-ghc6/build/Agda/TypeChecker.o ) [176 of 191] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc6/build/Agda/Interaction/Imports.o ) [177 of 191] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc6/build/Agda/Compiler/MAlonzo/Misc.o ) [178 of 191] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc6/build/Agda/Compiler/MAlonzo/Encode.o ) [179 of 191] Compiling Agda.Tests ( src/full/Agda/Tests.hs, dist-ghc6/build/Agda/Tests.o ) [180 of 191] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc6/build/Agda/Compiler/MAlonzo/Pretty.o ) [181 of 191] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc6/build/Agda/Compiler/MAlonzo/Primitives.o ) [182 of 191] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc6/build/Agda/Compiler/MAlonzo/Compiler.o ) [183 of 191] Compiling Agda.Compiler.Agate.Main ( src/full/Agda/Compiler/Agate/Main.hs, dist-ghc6/build/Agda/Compiler/Agate/Main.o ) [184 of 191] Compiling Agda.Compiler.Alonzo.Main ( src/full/Agda/Compiler/Alonzo/Main.hs, dist-ghc6/build/Agda/Compiler/Alonzo/Main.o ) [185 of 191] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc6/build/Agda/Interaction/BasicOps.o ) [186 of 191] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist-ghc6/build/Agda/Interaction/CommandLine/CommandLine.o ) [187 of 191] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc6/build/Agda/Interaction/MakeCase.o ) [188 of 191] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc6/build/Agda/Auto/Convert.o ) [189 of 191] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist-ghc6/build/Agda/Auto/Auto.o ) [190 of 191] Compiling Agda.Interaction.GhciTop ( src/full/Agda/Interaction/GhciTop.hs, dist-ghc6/build/Agda/Interaction/GhciTop.o ) [191 of 191] Compiling Agda.Main ( src/full/Agda/Main.hs, dist-ghc6/build/Agda/Main.o ) Registering Agda-2.2.6... [1 of 2] Compiling Paths_Agda ( dist-ghc6/build/autogen/Paths_Agda.hs, dist-ghc6/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist-ghc6/build/agda-mode/agda-mode-tmp/Main.o ) Linking dist-ghc6/build/agda-mode/agda-mode ... touch build-ghc6-stamp [ ! -x /usr/bin/haddock ] || debian/hlibrary.setup haddock --builddir=dist-ghc6 --hyperlink-source Running Haddock for Agda-2.2.6... Preprocessing library Agda-2.2.6... Preprocessing executables for Agda-2.2.6... Running hscolour for Agda-2.2.6... Warning: The documentation for the following packages are not installed. No links will be generated to these packages: base-3.0.3.2, rts-1.0 Warning: Agda.Syntax.Concrete: could not find link destinations for: Agda.Syntax.Concrete.RewriteEqn Agda.Syntax.Concrete.WithExpr Documentation created: dist-ghc6/doc/html/Agda/index.html touch build-haddock-stamp /usr/bin/fakeroot debian/rules binary-arch test -x debian/rules dh_testroot dh_clean -k dh_installdirs -A mkdir -p "." debian/hlibrary.setup build --builddir=dist-ghc6 Preprocessing library Agda-2.2.6... Preprocessing executables for Agda-2.2.6... Building Agda-2.2.6... Registering Agda-2.2.6... touch build-ghc6-stamp Adding cdbs dependencies to debian/libghc6-agda-dev.substvars dh_installdirs -plibghc6-agda-dev debian/hlibrary.setup copy --builddir=dist-ghc6 --destdir=debian/tmp-inst-ghc6 Installing library in debian/tmp-inst-ghc6/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1 Installing executable(s) in debian/tmp-inst-ghc6/usr/bin cd debian/tmp-inst-ghc6 ; find usr/lib/haskell-packages/ghc6/lib/ \ \( ! -name "*_p.a" ! -name "*.p_hi" \) \ -exec install -Dm 644 '{}' ../libghc6-agda-dev/'{}' ';' install: target `../libghc6-agda-dev/usr/lib/haskell-packages/ghc6/lib/' is not a directory: No such file or directory install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Patterns' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Test' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/CommandLine' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination' install: omitting directory `usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto' pkg_config=`debian/hlibrary.setup register --builddir=dist-ghc6 --gen-pkg-config | sed -r 's,.*: ,,'`; \ \ install -Dm 644 $pkg_config debian/libghc6-agda-dev/var/lib/ghc-6.12.1/package.conf.d/$pkg_config; \ rm -f $pkg_config mkdir -p debian/libghc6-agda-dev//usr/lib/ghc-6.12.1/haddock/agda-2.2.6/ [ 0 = `ls debian/tmp-inst-ghc6//usr/lib/ghc-6.12.1/haddock/agda-2.2.6// 2>/dev/null | wc -l` ] || \ cp -r debian/tmp-inst-ghc6//usr/lib/ghc-6.12.1/haddock/agda-2.2.6//*.haddock \ debian/libghc6-agda-dev//usr/lib/ghc-6.12.1/haddock/agda-2.2.6/ dh_haskell_provides -plibghc6-agda-dev dh_haskell_depends -plibghc6-agda-dev dh_haskell_shlibdeps -plibghc6-agda-dev [1 of 1] Compiling Main ( debian/dh_haskell_shlibdeps/a.hs, debian/dh_haskell_shlibdeps/a.o ) Linking debian/dh_haskell_shlibdeps/a.out ... dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory. dpkg-shlibdeps: warning: dependency on libdl.so.2 could be avoided if "debian/dh_haskell_shlibdeps/a.out" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libz.so.1 could be avoided if "debian/dh_haskell_shlibdeps/a.out" were not uselessly linked against it (they use none of its symbols). dpkg-shlibdeps: warning: dependency on libutil.so.1 could be avoided if "debian/dh_haskell_shlibdeps/a.out" were not uselessly linked against it (they use none of its symbols). dh_installdocs -plibghc6-agda-dev ./README dh_installexamples -plibghc6-agda-dev dh_installman -plibghc6-agda-dev dh_installinfo -plibghc6-agda-dev dh_installmenu -plibghc6-agda-dev dh_installcron -plibghc6-agda-dev dh_installinit -plibghc6-agda-dev Duplicate specification "O=s" for option "O" dh_installdebconf -plibghc6-agda-dev dh_installemacsen -plibghc6-agda-dev dh_installcatalogs -plibghc6-agda-dev dh_installpam -plibghc6-agda-dev dh_installlogrotate -plibghc6-agda-dev dh_installlogcheck -plibghc6-agda-dev dh_installchangelogs -plibghc6-agda-dev dh_installudev -plibghc6-agda-dev dh_lintian -plibghc6-agda-dev dh_install -plibghc6-agda-dev dh_link -plibghc6-agda-dev dh_installmime -plibghc6-agda-dev dh_strip -plibghc6-agda-dev dh_strip debug symbol extraction: all non-arch-all packages for this build platform armel: libghc6-agda-dev dh_strip debug symbol extraction: packages to act on: libghc6-agda-dev dh_strip debug symbol extraction: ignored packages: libghc6-agda-dev is already stripped, ignoring dh_compress -plibghc6-agda-dev -X .haddock dh_fixperms -plibghc6-agda-dev dh_makeshlibs -plibghc6-agda-dev dh_installdeb -plibghc6-agda-dev dh_perl -plibghc6-agda-dev dh_shlibdeps -plibghc6-agda-dev dh_gencontrol -plibghc6-agda-dev dpkg-gencontrol: warning: package libghc6-agda-dev: unused substitution variable ${shlibs:Depends} # symlink identical documentation to depending packages [ -n "$CDBS_NO_DOC_SYMLINKING" ] || \ [ -h debian/libghc6-agda-dev/usr/share/doc ] || \ [ -h debian/libghc6-agda-dev/usr/share/doc/libghc6-agda-dev ] || \ [ ! -d debian/libghc6-agda-dev/usr/share/doc ] || \ for dep in `perl -ne 'if (/^(Pre-)?Depends:/) {s/^\w+://; foreach (split /,/) { split; print($_[0], "\n"); } }' debian/libghc6-agda-dev/DEBIAN/control`; do \ if [ -d debian/$dep/usr/share/doc ]; then \ echo "Searching for duplicated docs in dependency $dep..."; \ rootdir=`pwd`; \ (cd debian/libghc6-agda-dev/usr/share/doc/libghc6-agda-dev; find -type f ! -name copyright | while read f; do \ thisfile="$rootdir/debian/libghc6-agda-dev/usr/share/doc/libghc6-agda-dev/$f"; \ depfile="$rootdir/debian/$dep/usr/share/doc/$dep/$f"; \ if [ -f $depfile -o -L $depfile ] && zcmp $thisfile $depfile >/dev/null; then \ echo " symlinking $f in libghc6-agda-dev to file in $dep"; \ rm $thisfile; ln -s /usr/share/doc/$dep/$f $thisfile; \ fi; \ done ); \ fi; \ done # symlink identical Gnome help files within packages if [ -z "$CDBS_NO_GNOME_HELP_SYMLINKING" ] && [ -d debian/libghc6-agda-dev/usr/share/gnome/help ]; then \ cd debian/libghc6-agda-dev && LC_ALL=C fdupes -r1nq usr/share/gnome/help | while read s; do \ set -- $(echo $s | tr ' ' '\n' | sort); \ f=$1; shift; \ for d; do \ echo "symlinking duplicate Gnome help file $d to $f"; \ rm $d; ln -s /$f $d; \ done; \ done; \ fi dh_link -p libghc6-agda-dev dh_md5sums -plibghc6-agda-dev dh_builddeb -plibghc6-agda-dev pkgstriptranslations: processing control file: ./debian/libghc6-agda-dev/DEBIAN/control, package libghc6-agda-dev, directory ./debian/libghc6-agda-dev pkgstriptranslations: libghc6-agda-dev does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " dpkg-deb: warning: 'debian/libghc6-agda-dev/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warnings about the control file(s) dpkg-deb: building package `libghc6-agda-dev' in `../libghc6-agda-dev_2.2.6-7build1_armel.deb'. dpkg-genchanges -B -mUbuntu/armel Build Daemon >../agda_2.2.6-7build1_armel.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20100704-1437 chroot-autobuild/build/buildd/libghc6-agda-dev_2.2.6-7build1_armel.deb: new debian package, version 2.0. size 16641564 bytes: control archive= 6543 bytes. 1867 bytes, 27 lines control 21693 bytes, 184 lines md5sums Package: libghc6-agda-dev Source: agda Version: 2.2.6-7build1 Architecture: armel Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Installed-Size: 75292 Depends: libghc6-quickcheck-dev-2.1.0.3-d4ae7, libghc6-array-dev-0.3.0.0-dbdf7, libghc6-base-dev-4.2.0.0-14b6a, libghc6-binary-dev-0.5.0.2-107b6, libghc6-bytestring-dev-0.9.1.5-d471a, libghc6-containers-dev-0.3.0.0-409fe, libghc6-directory-dev-1.0.1.0-78675, libghc6-filepath-dev-1.1.0.3-73da5, libghc6-haskeline-dev-0.6.2.2-98111, libghc6-haskell-src-dev-1.0.1.3-6f583, libghc6-mtl-dev-1.1.0.2-23ca4, libghc6-old-time-dev-1.0.0.3-b5383, libghc6-pretty-dev-1.0.1.1-2bfa3, libghc6-process-dev-1.0.1.2-34727, libghc6-syb-dev-0.1.0.2-1e7e0, libghc6-xhtml-dev-3000.2.0.1-ea3a4, libghc6-zlib-dev-0.5.2.0-b96bd Suggests: libghc6-agda-doc Provides: libghc6-agda-dev-2.2.6-d298b Section: haskell Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: a dependently typed functional programming language - development libraries 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 contains the normal library files. chroot-autobuild/build/buildd/libghc6-agda-dev_2.2.6-7build1_armel.deb: drwxr-xr-x root/root 0 2010-07-04 14:33 ./ drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/ drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/share/ drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/share/libghc6-agda-dev/ -rw-r--r-- root/root 1089 2010-07-04 14:32 ./usr/share/libghc6-agda-dev/Agda.css drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/share/doc/libghc6-agda-dev/ -rw-r--r-- root/root 1829 2010-05-26 10:08 ./usr/share/doc/libghc6-agda-dev/changelog.Debian.gz -rw-r--r-- root/root 3421 2010-03-17 21:41 ./usr/share/doc/libghc6-agda-dev/copyright -rw-r--r-- root/root 3498 2009-12-26 23:53 ./usr/share/doc/libghc6-agda-dev/README.gz drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/ghc-6.12.1/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/ghc-6.12.1/haddock/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/ghc-6.12.1/haddock/agda-2.2.6/ -rw-r--r-- root/root 621321 2010-07-04 14:32 ./usr/lib/ghc-6.12.1/haddock/agda-2.2.6/Agda.haddock drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ drwxr-xr-x root/root 0 2010-07-04 14:33 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/ -rw-r--r-- root/root 19552 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Main.hi -rw-r--r-- root/root 11174 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Tests.hi -rw-r--r-- root/root 6396 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecker.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/ -rw-r--r-- root/root 4318 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Impossible.hi -rw-r--r-- root/root 2463 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Generics.hi -rw-r--r-- root/root 3605 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/String.hi -rw-r--r-- root/root 1348 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Tuple.hi -rw-r--r-- root/root 837 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Hash.hi -rw-r--r-- root/root 3932 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Suffix.hi -rw-r--r-- root/root 5194 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/QuickCheck.hi -rw-r--r-- root/root 2904 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Pointer.hi -rw-r--r-- root/root 10202 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Graph.hi -rw-r--r-- root/root 23896 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Monad.hi -rw-r--r-- root/root 21770 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Permutation.hi -rw-r--r-- root/root 3355 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Size.hi -rw-r--r-- root/root 2964 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Fresh.hi -rw-r--r-- root/root 3655 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Pretty.hi -rw-r--r-- root/root 61874 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Warshall.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/ -rw-r--r-- root/root 2957 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/UTF8.hi -rw-r--r-- root/root 1446 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Locale.hi -rw-r--r-- root/root 1820 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/IO/Binary.hi -rw-r--r-- root/root 2242 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Either.hi -rw-r--r-- root/root 10532 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/TestHelpers.hi -rw-r--r-- root/root 1466 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Maybe.hi -rw-r--r-- root/root 1428 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Unicode.hi -rw-r--r-- root/root 18729 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trace.hi -rw-r--r-- root/root 2652 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Function.hi -rw-r--r-- root/root 15359 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Trie.hi -rw-r--r-- root/root 15530 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/List.hi -rw-r--r-- root/root 3549 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Map.hi -rw-r--r-- root/root 1844 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/SemiRing.hi -rw-r--r-- root/root 24179 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/ReadP.hi -rw-r--r-- root/root 24394 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/FileName.hi -rw-r--r-- root/root 1854 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Utils/Char.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/ -rw-r--r-- root/root 18734 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Main.hi -rw-r--r-- root/root 21552 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/UntypedPrinter.hi -rw-r--r-- root/root 3811 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/TranslateName.hi -rw-r--r-- root/root 21117 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/OptimizedPrinter.hi -rw-r--r-- root/root 13879 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Common.hi -rw-r--r-- root/root 13042 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Agate/Classify.hi -rw-r--r-- root/root 26620 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/HaskellTypes.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/ -rw-r--r-- root/root 11209 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/PatternMonad.hi -rw-r--r-- root/root 33727 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Main.hi -rw-r--r-- root/root 10627 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Haskell.hi -rw-r--r-- root/root 7548 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/Alonzo/Names.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/ -rw-r--r-- root/root 37682 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Misc.hi -rw-r--r-- root/root 49087 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Compiler.hi -rw-r--r-- root/root 10266 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Pretty.hi -rw-r--r-- root/root 22381 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Encode.hi -rw-r--r-- root/root 88109 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Compiler/MAlonzo/Primitives.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/ -rw-r--r-- root/root 25611 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/MetaVars.hi -rw-r--r-- root/root 48333 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Signature.hi -rw-r--r-- root/root 12599 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/SizedTypes.hi -rw-r--r-- root/root 14111 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Mutual.hi -rw-r--r-- root/root 21076 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Imports.hi -rw-r--r-- root/root 460053 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Base.hi -rw-r--r-- root/root 10002 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Constraints.hi -rw-r--r-- root/root 1138 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Debug.hi -rw-r--r-- root/root 19357 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Context.hi -rw-r--r-- root/root 6050 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Statistics.hi -rw-r--r-- root/root 18426 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Builtin.hi -rw-r--r-- root/root 11899 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Trace.hi -rw-r--r-- root/root 24999 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Options.hi -rw-r--r-- root/root 7806 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Open.hi -rw-r--r-- root/root 4995 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Closure.hi -rw-r--r-- root/root 15221 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/State.hi -rw-r--r-- root/root 7570 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Env.hi -rw-r--r-- root/root 20764 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad/Exception.hi -rw-r--r-- root/root 7727 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Empty.hi -rw-r--r-- root/root 12675 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Records.hi -rw-r--r-- root/root 158130 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Primitive.hi -rw-r--r-- root/root 49334 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars.hi -rw-r--r-- root/root 18962 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Tests.hi -rw-r--r-- root/root 19445 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/SizedTypes.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars/ -rw-r--r-- root/root 15682 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/MetaVars/Occurs.hi -rw-r--r-- root/root 25285 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Errors.hi -rw-r--r-- root/root 9445 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Abstract.hi -rw-r--r-- root/root 12603 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Telescope.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/ -rw-r--r-- root/root 12552 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Record.hi -rw-r--r-- root/root 20333 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Decl.hi -rw-r--r-- root/root 15344 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Data.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/ -rw-r--r-- root/root 7621 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Implicit.hi -rw-r--r-- root/root 47344 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Unify.hi -rw-r--r-- root/root 13397 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Split.hi -rw-r--r-- root/root 10184 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Problem.hi -rw-r--r-- root/root 9651 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS/Instantiate.hi -rw-r--r-- root/root 40110 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Builtin.hi -rw-r--r-- root/root 16942 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Def.hi -rw-r--r-- root/root 25881 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/LHS.hi -rw-r--r-- root/root 46539 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rules/Term.hi -rw-r--r-- root/root 63181 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Substitute.hi -rw-r--r-- root/root 5097 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Rebind.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage/ -rw-r--r-- root/root 13371 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage/Match.hi -rw-r--r-- root/root 6642 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Implicit.hi -rw-r--r-- root/root 23833 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Polarity.hi -rw-r--r-- root/root 13104 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Injectivity.hi -rw-r--r-- root/root 22653 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Conversion.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Patterns/ -rw-r--r-- root/root 8268 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Patterns/Match.hi -rw-r--r-- root/root 38196 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Positivity.hi -rw-r--r-- root/root 27774 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Monad.hi -rw-r--r-- root/root 12707 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Constraints.hi -rw-r--r-- root/root 7299 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/EtaContract.hi -rw-r--r-- root/root 14753 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/With.hi -rw-r--r-- root/root 80977 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Reduce.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Test/ -rw-r--r-- root/root 64743 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Test/Generators.hi -rw-r--r-- root/root 248750 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Serialise.hi -rw-r--r-- root/root 28662 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Pretty.hi -rw-r--r-- root/root 10191 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Free.hi -rw-r--r-- root/root 31031 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Level.hi -rw-r--r-- root/root 9356 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/DisplayForm.hi -rw-r--r-- root/root 51952 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/TypeChecking/Coverage.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/ -rw-r--r-- root/root 14607 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/MakeCase.hi -rw-r--r-- root/root 51667 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/BasicOps.hi -rw-r--r-- root/root 31121 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Imports.hi -rw-r--r-- root/root 12227 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Monad.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/ -rw-r--r-- root/root 10278 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Vim.hi -rw-r--r-- root/root 125028 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Precise.hi -rw-r--r-- root/root 23698 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Range.hi -rw-r--r-- root/root 15322 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Generate.hi -rw-r--r-- root/root 7578 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/Emacs.hi -rw-r--r-- root/root 9808 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Highlighting/HTML.hi -rw-r--r-- root/root 14661 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/FindFile.hi -rw-r--r-- root/root 91290 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/GhciTop.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/CommandLine/ -rw-r--r-- root/root 40950 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/CommandLine/CommandLine.hi -rw-r--r-- root/root 5121 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Exceptions.hi -rw-r--r-- root/root 53830 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Interaction/Options.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators/ -rw-r--r-- root/root 15641 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators/Parser.hi -rw-r--r-- root/root 62584 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Name.hi -rw-r--r-- root/root 27984 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Definitions.hi -rw-r--r-- root/root 38128 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Pretty.hi -rw-r--r-- root/root 13293 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete/Operators.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal/ -rw-r--r-- root/root 6802 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal/Pattern.hi -rw-r--r-- root/root 12886 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal/Generic.hi -rw-r--r-- root/root 85195 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Position.hi -rw-r--r-- root/root 20231 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Literal.hi -rw-r--r-- root/root 138716 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract.hi -rw-r--r-- root/root 124745 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Internal.hi -rw-r--r-- root/root 90737 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Info.hi -rw-r--r-- root/root 10526 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser.hi -rw-r--r-- root/root 9687 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Strict.hi -rw-r--r-- root/root 21119 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Fixity.hi -rw-r--r-- root/root 135640 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Concrete.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/ -rw-r--r-- root/root 64485 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/ConcreteToAbstract.hi -rw-r--r-- root/root 47303 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/AbstractToConcrete.hi -rw-r--r-- root/root 30668 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Translation/InternalToAbstract.hi -rw-r--r-- root/root 92869 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Common.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/ -rw-r--r-- root/root 66844 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Name.hi -rw-r--r-- root/root 5168 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Views.hi -rw-r--r-- root/root 6288 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Abstract/Pretty.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/ -rw-r--r-- root/root 49569 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/Monad.hi -rw-r--r-- root/root 128597 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Scope/Base.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/ -rw-r--r-- root/root 14286 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/LookAhead.hi -rw-r--r-- root/root 8878 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Comments.hi -rw-r--r-- root/root 17704 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/LexActions.hi -rw-r--r-- root/root 9204 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/StringLiterals.hi -rw-r--r-- root/root 9893 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Layout.hi -rw-r--r-- root/root 6589 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Alex.hi -rw-r--r-- root/root 28215 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Monad.hi -rw-r--r-- root/root 13910 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Parser.hi -rw-r--r-- root/root 12666 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Tokens.hi -rw-r--r-- root/root 7799 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Syntax/Parser/Lexer.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/ -rw-r--r-- root/root 29258 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Lexicographic.hi -rw-r--r-- root/root 21201 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Termination.hi -rw-r--r-- root/root 87882 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Matrix.hi -rw-r--r-- root/root 11232 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/Semiring.hi -rw-r--r-- root/root 49489 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/CallGraph.hi -rw-r--r-- root/root 12554 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Termination/TermCheck.hi -rw-r--r-- root/root 1427 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Version.hi drwxr-xr-x root/root 0 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/ -rw-r--r-- root/root 41565 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/NarrowingSearch.hi -rw-r--r-- root/root 28175 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Convert.hi -rw-r--r-- root/root 6843 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Syntax.hi -rw-r--r-- root/root 11320 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Auto.hi -rw-r--r-- root/root 12242 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Print.hi -rw-r--r-- root/root 19559 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/SearchControl.hi -rw-r--r-- root/root 35187 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Agda/Auto/Typecheck.hi -rw-r--r-- root/root 29591200 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/HSAgda-2.2.6.o -rw-r--r-- root/root 6770 2010-07-04 14:32 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/Paths_Agda.hi -rw-r--r-- root/root 40973172 2010-07-04 14:33 ./usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/ghc-6.12.1/libHSAgda-2.2.6.a drwxr-xr-x root/root 0 2010-07-04 14:32 ./var/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./var/lib/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./var/lib/ghc-6.12.1/ drwxr-xr-x root/root 0 2010-07-04 14:32 ./var/lib/ghc-6.12.1/package.conf.d/ -rw-r--r-- root/root 9363 2010-07-04 14:32 ./var/lib/ghc-6.12.1/package.conf.d/Agda-2.2.6.conf agda_2.2.6-7build1_armel.changes: Format: 1.8 Date: Wed, 26 May 2010 09:08:19 +0100 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: armel Version: 2.2.6-7build1 Distribution: maverick Urgency: low Maintainer: Ubuntu/armel Build Daemon Changed-By: Iain Lane Description: agda-mode - the emacs mode for Agda libghc6-agda-dev - a dependently typed functional programming language - development libghc6-agda-doc - a dependently typed functional programming language - documentati Changes: agda (2.2.6-7build1) maverick; urgency=low . * No change rebuild to build against new quickcheck Checksums-Sha1: 25f05c7deb0519dee43016a92cc2324f9d93313a 16641564 libghc6-agda-dev_2.2.6-7build1_armel.deb Checksums-Sha256: 4f5fc9693a214ac7a977d288c1f957dd26f0de5d30ef50e46b656015b2b8ffc9 16641564 libghc6-agda-dev_2.2.6-7build1_armel.deb Files: 743056dc1d8852e6437407290e1983eb 16641564 haskell extra libghc6-agda-dev_2.2.6-7build1_armel.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/agda-2.2.6 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge libghc6-xhtml-dev groff-base m4 gettext file zlib1g-dev libhtml-parser-perl intltool libffi5 libwww-perl liburi-perl libhtml-tree-perl autotools-dev po-debconf libxml-parser-perl libghc6-quickcheck2-dev libcroco3 libhtml-tagset-perl libxml2 dctrl-tools html-xml-utils automake libffi-dev alex man-db libghc6-haskeline-dev intltool-debian libghc6-mtl-dev cdbs html2text gettext-base debhelper libgmpxx4ldbl libgmp3-dev xutils-dev libncurses5-dev libghc6-zlib-dev libmagic1 hscolour ghc6 libexpat1 libghc6-binary-dev libghc6-haskell-src-dev bsdmainutils fdupes haskell-devscripts libbsd0 happy libbsd-dev autoconf (Reading database ... 18201 files and directories currently installed.) Removing libghc6-xhtml-dev ... Removing libghc6-quickcheck2-dev ... Removing alex ... Removing libghc6-haskeline-dev ... Removing libghc6-mtl-dev ... Removing libncurses5-dev ... Removing libghc6-zlib-dev ... Removing libghc6-binary-dev ... Removing libghc6-haskell-src-dev ... Removing haskell-devscripts ... Removing happy ... Removing zlib1g-dev ... Removing dctrl-tools ... Purging configuration files for dctrl-tools ... Removing html-xml-utils ... Removing cdbs ... Removing debhelper ... Removing xutils-dev ... Removing hscolour ... Removing ghc6 ... Removing fdupes ... Removing libbsd-dev ... Removing intltool ... Removing po-debconf ... Removing libxml-parser-perl ... Removing automake ... Removing libffi-dev ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing intltool-debian ... Removing html2text ... Purging configuration files for html2text ... Removing libgmp3-dev ... Removing libexpat1 ... Purging configuration files for libexpat1 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing libbsd0 ... Purging configuration files for libbsd0 ... Removing autoconf ... Purging configuration files for autoconf ... Removing groff-base ... Purging configuration files for groff-base ... Removing m4 ... Removing gettext ... Removing file ... Purging configuration files for file ... Removing libffi5 ... Purging configuration files for libffi5 ... Removing libwww-perl ... Removing libhtml-tree-perl ... Removing autotools-dev ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing gettext-base ... Removing libgmpxx4ldbl ... Purging configuration files for libgmpxx4ldbl ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libhtml-parser-perl ... Removing liburi-perl ... Removing libhtml-tagset-perl ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20100704-1437 Build needed 04:47:41, 356288k disk space Can't open average time db /var/debbuild/avg-build-times Can't open average space db /var/debbuild/avg-build-space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d'] Scanning for processes to kill in build /home/buildd/build-8b015a9248e5d1c0d9edb688b4f780ec03cce76d/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d'] Unmounting chroot for build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '8b015a9248e5d1c0d9edb688b4f780ec03cce76d'] Removing build 8b015a9248e5d1c0d9edb688b4f780ec03cce76d