sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build04.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ agda 2.3.0.1-2 (armhf) 22 Jun 2012 13:54 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: agda Version: 2.3.0.1-2 Source Version: 2.3.0.1-2 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/agda-VXuXmN/agda-2.3.0.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/agda-VXuXmN' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-e69ee2ee-e444-4c70-b367-9f228f4483d2' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Hit http://repo.raspbian.lan testing InRelease Hit http://repo.raspbian.lan testing/main Sources Hit http://repo.raspbian.lan testing/main armhf Packages Ign http://repo.raspbian.lan testing/main Translation-en Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'agda' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-haskell/agda.git Need to get 622 kB of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main agda 2.3.0.1-2 (dsc) [2391 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main agda 2.3.0.1-2 (tar) [612 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main agda 2.3.0.1-2 (diff) [6874 B] Fetched 622 kB in 0s (3026 kB/s) Download complete and in download only mode Check arch ────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-q2vFBV/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 12 not upgraded. Need to get 0 B/706 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 10654 files and directories currently installed.) Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), haskell-devscripts (>= 0.8), cdbs (>> 0.4.58), ghc, libghc-binary-dev, libghc-hashable-dev (>= 1.1), libghc-hashable-dev (<< 1.2), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.1), libghc-haskeline-dev (>= 0.3), libghc-haskeline-dev (<< 0.7), libghc-haskell-src-dev (>= 1.0.1.1), libghc-haskell-src-dev (<< 2), libghc-mtl-dev (>= 2.0), libghc-mtl-dev (<< 3.2), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.12), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.5), libghc-syb-dev (>= 0.1), libghc-syb-dev (<< 0.4), happy (>= 1.15), happy (<< 2), alex (>= 2.3.1), libncurses5-dev Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 7.0), haskell-devscripts (>= 0.8), cdbs (>> 0.4.58), ghc, libghc-binary-dev, libghc-hashable-dev (>= 1.1), libghc-hashable-dev (<< 1.2), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.1), libghc-haskeline-dev (>= 0.3), libghc-haskeline-dev (<< 0.7), libghc-haskell-src-dev (>= 1.0.1.1), libghc-haskell-src-dev (<< 2), libghc-mtl-dev (>= 2.0), libghc-mtl-dev (<< 3.2), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.12), libghc-quickcheck2-dev (>= 2.3), libghc-quickcheck2-dev (<< 2.5), libghc-syb-dev (>= 0.1), libghc-syb-dev (<< 0.4), happy (>= 1.15), happy (<< 2), alex (>= 2.3.1), libncurses5-dev dpkg-deb: building package `sbuild-build-depends-agda-dummy' in `/«BUILDDIR»/resolver-zCetaT/apt_archive/sbuild-build-depends-agda-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install agda build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: alex binfmt-support bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy haskell-devscripts hscolour html-xml-utils html2text intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi5 libgcrypt11 libgettextpo0 libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-haskell-src-dev libghc-mtl-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-src-exts-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-transformers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls26 libgpg-error0 libgssapi-krb5-2 libidn11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libllvm3.0 libmagic1 libncurses5-dev libp11-kit0 libpcre3 libpipeline1 librtmp0 libsasl2-2 libssh2-1 libtasn1-3 libtinfo-dev libunistring0 libxml2 llvm-3.0 llvm-3.0-runtime man-db po-debconf zlib1g-dev Suggested packages: wamerican wordlist whois vacation devscripts debtags dh-make gettext-doc ghc-prof ghc-doc haskell-doc groff info-browser rng-tools libghc-cpphs-doc libghc-cpphs-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-haskell-src-doc libghc-haskell-src-prof libghc-mtl-doc libghc-mtl-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-src-exts-doc libghc-src-exts-prof libghc-syb-doc libghc-syb-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-transformers-doc libghc-transformers-prof libghc-utf8-string-doc libghc-utf8-string-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev krb5-doc krb5-user ncurses-doc llvm-3.0-doc less www-browser libmail-box-perl Recommended packages: autotools-dev curl wget lynx-cur autopoint ca-certificates libglib2.0-data shared-mime-info krb5-locales libsasl2-modules xml-core llvm-3.0-dev libmail-sendmail-perl The following NEW packages will be installed: alex binfmt-support bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy haskell-devscripts hscolour html-xml-utils html2text intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi5 libgcrypt11 libgettextpo0 libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-haskell-src-dev libghc-mtl-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-src-exts-dev libghc-syb-dev libghc-terminfo-dev libghc-text-dev libghc-transformers-dev libghc-utf8-string-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgmpxx4ldbl libgnutls26 libgpg-error0 libgssapi-krb5-2 libidn11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libllvm3.0 libmagic1 libncurses5-dev libp11-kit0 libpcre3 libpipeline1 librtmp0 libsasl2-2 libssh2-1 libtasn1-3 libtinfo-dev libunistring0 libxml2 llvm-3.0 llvm-3.0-runtime man-db po-debconf sbuild-build-depends-agda-dummy zlib1g-dev 0 upgraded, 77 newly installed, 0 to remove and 12 not upgraded. Need to get 13.9 MB/109 MB of archives. After this operation, 470 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main happy armhf 1.18.9-1 [1553 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main libghc-cpphs-dev armhf 1.13.3-2 [341 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libghc-hashable-dev armhf 1.1.2.3-1 [61.4 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libghc-hashtables-dev armhf 1.0.1.4-1 [399 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main libghc-haskeline-dev armhf 0.6.4.7-1 [1215 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main libghc-syb-dev armhf 0.3.6.1-1 [167 kB] Get:7 http://repo.raspbian.lan/raspbian/ testing/main libghc-haskell-src-dev armhf 1.0.1.5-1 [1387 kB] Get:8 http://repo.raspbian.lan/raspbian/ testing/main libghc-quickcheck2-dev armhf 2.4.2-1 [698 kB] Get:9 http://repo.raspbian.lan/raspbian/ testing/main libghc-src-exts-dev armhf 1.11.1-3 [7709 kB] Get:10 http://repo.raspbian.lan/raspbian/ testing/main libghc-xhtml-dev armhf 3000.2.1-1 [270 kB] Get:11 http://repo.raspbian.lan/raspbian/ testing/main libghc-zlib-dev armhf 0.5.3.3-1 [106 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 13.9 MB in 5s (2431 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10654 files and directories currently installed.) Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.30-5_armhf.deb) ... Selecting previously unselected package libpipeline1:armhf. Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.1-1_armhf.deb) ... Selecting previously unselected package libasprintf0c2:armhf. Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libgpg-error0:armhf. Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3_armhf.deb) ... Selecting previously unselected package libgcrypt11:armhf. Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-3_armhf.deb) ... Selecting previously unselected package libp11-kit0:armhf. Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ... Selecting previously unselected package libtasn1-3:armhf. Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.13-2_armhf.deb) ... Selecting previously unselected package libgnutls26:armhf. Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.20-1_armhf.deb) ... Selecting previously unselected package libkeyutils1:armhf. Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.5-2_armhf.deb) ... Selecting previously unselected package libkrb5support0:armhf. Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libk5crypto3:armhf. Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libkrb5-3:armhf. Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10.1+dfsg-1_armhf.deb) ... Selecting previously unselected package libidn11:armhf. Unpacking libidn11:armhf (from .../libidn11_1.25-2_armhf.deb) ... Selecting previously unselected package libsasl2-2:armhf. Unpacking libsasl2-2:armhf (from .../libsasl2-2_2.1.25.dfsg1-4_armhf.deb) ... Selecting previously unselected package libldap-2.4-2:armhf. Unpacking libldap-2.4-2:armhf (from .../libldap-2.4-2_2.4.28-1.1+rpi1_armhf.deb) ... Selecting previously unselected package libmagic1:armhf. Unpacking libmagic1:armhf (from .../libmagic1_5.11-1_armhf.deb) ... Selecting previously unselected package libxml2:armhf. Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-3_armhf.deb) ... Selecting previously unselected package libbsd0:armhf. Unpacking libbsd0:armhf (from .../libbsd0_0.4.0-1_armhf.deb) ... Selecting previously unselected package libffi5:armhf. Unpacking libffi5:armhf (from .../libffi5_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libglib2.0-0:armhf. Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.32.3-1_armhf.deb) ... Selecting previously unselected package libcroco3:armhf. Unpacking libcroco3:armhf (from .../libcroco3_0.6.5-1_armhf.deb) ... Selecting previously unselected package librtmp0:armhf. Unpacking librtmp0:armhf (from .../librtmp0_2.4+20111222.git4e06e21-1_armhf.deb) ... Selecting previously unselected package libssh2-1:armhf. Unpacking libssh2-1:armhf (from .../libssh2-1_1.4.2-1_armhf.deb) ... Selecting previously unselected package libcurl3-gnutls:armhf. Unpacking libcurl3-gnutls:armhf (from .../libcurl3-gnutls_7.26.0-1_armhf.deb) ... Selecting previously unselected package libunistring0:armhf. Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ... Selecting previously unselected package libgettextpo0:armhf. Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Unpacking libgmpxx4ldbl:armhf (from .../libgmpxx4ldbl_2%3a5.0.5+dfsg-2_armhf.deb) ... Selecting previously unselected package libllvm3.0:armhf. Unpacking libllvm3.0:armhf (from .../libllvm3.0_3.0-9_armhf.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.3_armhf.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.21-7_armhf.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.1-2_armhf.deb) ... Selecting previously unselected package file. Unpacking file (from .../archives/file_5.11-1_armhf.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package binfmt-support. Unpacking binfmt-support (from .../binfmt-support_2.0.8_armhf.deb) ... Selecting previously unselected package cdbs. Unpacking cdbs (from .../archives/cdbs_0.4.114_all.deb) ... Selecting previously unselected package dctrl-tools. Unpacking dctrl-tools (from .../dctrl-tools_2.22.2_armhf.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-9_armhf.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120608_all.deb) ... Selecting previously unselected package dh-buildinfo. Unpacking dh-buildinfo (from .../dh-buildinfo_0.9+nmu1_all.deb) ... Selecting previously unselected package libbsd-dev. Unpacking libbsd-dev (from .../libbsd-dev_0.4.0-1_armhf.deb) ... Selecting previously unselected package libffi-dev:armhf. Unpacking libffi-dev:armhf (from .../libffi-dev_3.0.10-3+b3_armhf.deb) ... Selecting previously unselected package libgmp-dev:armhf. Unpacking libgmp-dev:armhf (from .../libgmp-dev_2%3a5.0.5+dfsg-2_armhf.deb) ... Selecting previously unselected package libtinfo-dev:armhf. Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9-8_armhf.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-8_armhf.deb) ... Selecting previously unselected package llvm-3.0-runtime. Unpacking llvm-3.0-runtime (from .../llvm-3.0-runtime_3.0-9_armhf.deb) ... Selecting previously unselected package llvm-3.0. Unpacking llvm-3.0 (from .../llvm-3.0_3.0-9_armhf.deb) ... Selecting previously unselected package zlib1g-dev:armhf. Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.7.dfsg-11_armhf.deb) ... Selecting previously unselected package alex. Unpacking alex (from .../alex_3.0.1-1_armhf.deb) ... Selecting previously unselected package ghc. Unpacking ghc (from .../ghc_7.4.1-3+rpi1_armhf.deb) ... Selecting previously unselected package ghc-haddock. Unpacking ghc-haddock (from .../ghc-haddock_7.4.1-3+rpi1_armhf.deb) ... Selecting previously unselected package happy. Unpacking happy (from .../happy_1.18.9-1_armhf.deb) ... Selecting previously unselected package html-xml-utils. Unpacking html-xml-utils (from .../html-xml-utils_6.1-1_armhf.deb) ... Selecting previously unselected package hscolour. Unpacking hscolour (from .../hscolour_1.19-3_armhf.deb) ... Selecting previously unselected package haskell-devscripts. Unpacking haskell-devscripts (from .../haskell-devscripts_0.8.12_all.deb) ... Selecting previously unselected package libghc-cpphs-dev. Unpacking libghc-cpphs-dev (from .../libghc-cpphs-dev_1.13.3-2_armhf.deb) ... Selecting previously unselected package libghc-text-dev. Unpacking libghc-text-dev (from .../libghc-text-dev_0.11.2.0-1_armhf.deb) ... Selecting previously unselected package libghc-hashable-dev. Unpacking libghc-hashable-dev (from .../libghc-hashable-dev_1.1.2.3-1_armhf.deb) ... Selecting previously unselected package libghc-primitive-dev. Unpacking libghc-primitive-dev (from .../libghc-primitive-dev_0.4.1-1_armhf.deb) ... Selecting previously unselected package libghc-vector-dev. Unpacking libghc-vector-dev (from .../libghc-vector-dev_0.9.1-2_armhf.deb) ... Selecting previously unselected package libghc-hashtables-dev. Unpacking libghc-hashtables-dev (from .../libghc-hashtables-dev_1.0.1.4-1_armhf.deb) ... Selecting previously unselected package libghc-transformers-dev. Unpacking libghc-transformers-dev (from .../libghc-transformers-dev_0.3.0.0-1_armhf.deb) ... Selecting previously unselected package libghc-mtl-dev. Unpacking libghc-mtl-dev (from .../libghc-mtl-dev_2.1.1-1_armhf.deb) ... Selecting previously unselected package libghc-terminfo-dev. Unpacking libghc-terminfo-dev (from .../libghc-terminfo-dev_0.3.2.3-1_armhf.deb) ... Selecting previously unselected package libghc-utf8-string-dev. Unpacking libghc-utf8-string-dev (from .../libghc-utf8-string-dev_0.3.7-1_armhf.deb) ... Selecting previously unselected package libghc-haskeline-dev. Unpacking libghc-haskeline-dev (from .../libghc-haskeline-dev_0.6.4.7-1_armhf.deb) ... Selecting previously unselected package libghc-syb-dev. Unpacking libghc-syb-dev (from .../libghc-syb-dev_0.3.6.1-1_armhf.deb) ... Selecting previously unselected package libghc-haskell-src-dev. Unpacking libghc-haskell-src-dev (from .../libghc-haskell-src-dev_1.0.1.5-1_armhf.deb) ... Selecting previously unselected package libghc-random-dev. Unpacking libghc-random-dev (from .../libghc-random-dev_1.0.1.1-1_armhf.deb) ... Selecting previously unselected package libghc-quickcheck2-dev. Unpacking libghc-quickcheck2-dev (from .../libghc-quickcheck2-dev_2.4.2-1_armhf.deb) ... Selecting previously unselected package libghc-src-exts-dev. Unpacking libghc-src-exts-dev (from .../libghc-src-exts-dev_1.11.1-3_armhf.deb) ... Selecting previously unselected package libghc-xhtml-dev. Unpacking libghc-xhtml-dev (from .../libghc-xhtml-dev_3000.2.1-1_armhf.deb) ... Selecting previously unselected package libghc-zlib-dev. Unpacking libghc-zlib-dev (from .../libghc-zlib-dev_0.5.3.3-1_armhf.deb) ... Selecting previously unselected package sbuild-build-depends-agda-dummy. Unpacking sbuild-build-depends-agda-dummy (from .../sbuild-build-depends-agda-dummy.deb) ... Setting up libpcre3:armhf (1:8.30-5) ... Setting up libpipeline1:armhf (1.2.1-1) ... Setting up libasprintf0c2:armhf (0.18.1.1-9) ... Setting up libgpg-error0:armhf (1.10-3) ... Setting up libgcrypt11:armhf (1.5.0-3) ... Setting up libp11-kit0:armhf (0.12-3) ... Setting up libtasn1-3:armhf (2.13-2) ... Setting up libgnutls26:armhf (2.12.20-1) ... Setting up libkeyutils1:armhf (1.5.5-2) ... Setting up libkrb5support0:armhf (1.10.1+dfsg-1) ... Setting up libk5crypto3:armhf (1.10.1+dfsg-1) ... Setting up libkrb5-3:armhf (1.10.1+dfsg-1) ... Setting up libgssapi-krb5-2:armhf (1.10.1+dfsg-1) ... Setting up libidn11:armhf (1.25-2) ... Setting up libsasl2-2:armhf (2.1.25.dfsg1-4) ... Setting up libldap-2.4-2:armhf (2.4.28-1.1+rpi1) ... Setting up libmagic1:armhf (5.11-1) ... Setting up libxml2:armhf (2.8.0+dfsg1-3) ... Setting up libbsd0:armhf (0.4.0-1) ... Setting up libffi5:armhf (3.0.10-3+b3) ... Setting up libglib2.0-0:armhf (2.32.3-1) ... No schema files found: doing nothing. Setting up libcroco3:armhf (0.6.5-1) ... Setting up librtmp0:armhf (2.4+20111222.git4e06e21-1) ... Setting up libssh2-1:armhf (1.4.2-1) ... Setting up libcurl3-gnutls:armhf (7.26.0-1) ... Setting up libunistring0:armhf (0.9.3-5) ... Setting up libgettextpo0:armhf (0.18.1.1-9) ... Setting up libgmpxx4ldbl:armhf (2:5.0.5+dfsg-2) ... Setting up libllvm3.0:armhf (3.0-9) ... Setting up bsdmainutils (9.0.3) ... 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 groff-base (1.21-7) ... Setting up man-db (2.6.1-2) ... Building database of manual pages ... Setting up file (5.11-1) ... Setting up gettext-base (0.18.1.1-9) ... Setting up binfmt-support (2.0.8) ... update-binfmts: warning: Couldn't load the binfmt_misc module. All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of start. Setting up cdbs (0.4.114) ... Setting up dctrl-tools (2.22.2) ... Setting up html2text (1.3.2a-15) ... Setting up gettext (0.18.1.1-9) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2) ... Setting up debhelper (9.20120608) ... Setting up dh-buildinfo (0.9+nmu1) ... Setting up libbsd-dev (0.4.0-1) ... Setting up libffi-dev:armhf (3.0.10-3+b3) ... Setting up libgmp-dev:armhf (2:5.0.5+dfsg-2) ... Setting up libtinfo-dev:armhf (5.9-8) ... Setting up libncurses5-dev (5.9-8) ... Setting up llvm-3.0-runtime (3.0-9) ... update-binfmts: warning: Couldn't load the binfmt_misc module. Setting up llvm-3.0 (3.0-9) ... Setting up zlib1g-dev:armhf (1:1.2.7.dfsg-11) ... Setting up alex (3.0.1-1) ... Setting up ghc (7.4.1-3+rpi1) ... update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode. Setting up ghc-haddock (7.4.1-3+rpi1) ... Setting up happy (1.18.9-1) ... Setting up html-xml-utils (6.1-1) ... Setting up hscolour (1.19-3) ... Setting up haskell-devscripts (0.8.12) ... Setting up libghc-cpphs-dev (1.13.3-2) ... Setting up libghc-text-dev (0.11.2.0-1) ... Setting up libghc-hashable-dev (1.1.2.3-1) ... Setting up libghc-primitive-dev (0.4.1-1) ... Setting up libghc-vector-dev (0.9.1-2) ... Setting up libghc-hashtables-dev (1.0.1.4-1) ... Setting up libghc-transformers-dev (0.3.0.0-1) ... Setting up libghc-mtl-dev (2.1.1-1) ... Setting up libghc-terminfo-dev (0.3.2.3-1) ... Setting up libghc-utf8-string-dev (0.3.7-1) ... Setting up libghc-haskeline-dev (0.6.4.7-1) ... Setting up libghc-syb-dev (0.3.6.1-1) ... Setting up libghc-haskell-src-dev (1.0.1.5-1) ... Setting up libghc-random-dev (1.0.1.1-1) ... Setting up libghc-quickcheck2-dev (2.4.2-1) ... Setting up libghc-src-exts-dev (1.11.1-3) ... Setting up libghc-xhtml-dev (3000.2.1-1) ... Setting up libghc-zlib-dev (0.5.3.3-1) ... Setting up sbuild-build-depends-agda-dummy (0.invalid.0) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 3.2.0-2-mx5 armhf (armv7l) Toolchain package versions: binutils_2.22-6.1 dpkg-dev_1.16.3 g++-4.6_4.6.3-1.1+rpi2 gcc-4.6_4.6.3-1.1+rpi2 libc6-dev_2.13-33 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 linux-libc-dev_3.2.18-1 Package versions: alex_3.0.1-1 apt_0.9.3+rpi1 base-files_6.9 base-passwd_3.5.24 bash_4.2-2 binfmt-support_2.0.8 binutils_2.22-6.1 bsdmainutils_9.0.3 bsdutils_1:2.20.1-5 build-essential_11.5+b1 bzip2_1.0.6-1 cdbs_0.4.114 coreutils_8.13-3.2 cpp_4:4.6.2-4 cpp-4.6_4.6.3-1.1+rpi2 dash_0.5.7-3 dctrl-tools_2.22.2 debconf_1.5.43 debfoster_2.7-1.1 debhelper_9.20120608 debian-archive-keyring_2012.3 debianutils_4.3.1 dh-buildinfo_0.9+nmu1 diffutils_1:3.2-6 dpkg_1.16.3 dpkg-dev_1.16.3 e2fslibs_1.42.2-2 e2fsprogs_1.42.2-2 fakeroot_1.18.3-1 file_5.11-1 findutils_4.4.2-4 g++_4:4.6.2-4 g++-4.6_4.6.3-1.1+rpi2 gcc_4:4.6.2-4 gcc-4.4-base_4.4.7-1.1+rpi1 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-1.1+rpi2 gcc-4.6-base_4.6.3-1.1+rpi2 gcc-4.7-base_4.7.0-1.1+rpi gettext_0.18.1.1-9 gettext-base_0.18.1.1-9 ghc_7.4.1-3+rpi1 ghc-haddock_7.4.1-3+rpi1 gnupg_1.4.12-4 gpgv_1.4.12-4 grep_2.12-2 groff-base_1.21-7 gzip_1.4-5 happy_1.18.9-1 haskell-devscripts_0.8.12 hostname_3.11 hscolour_1.19-3 html-xml-utils_6.1-1 html2text_1.3.2a-15 initscripts_2.88dsf-22.1 insserv_1.14.0-3 intltool-debian_0.35.0+20060710.1 libacl1_2.2.51-7 libapt-pkg4.12_0.9.3+rpi1 libasprintf0c2_0.18.1.1-9 libattr1_1:2.4.46-7 libblkid1_2.20.1-5 libbsd-dev_0.4.0-1 libbsd0_0.4.0-1 libbz2-1.0_1.0.6-1 libc-bin_2.13-33 libc-dev-bin_2.13-33 libc6_2.13-33 libc6-dev_2.13-33 libclass-isa-perl_0.36-3 libcomerr2_1.42.4-3 libcroco3_0.6.5-1 libcurl3-gnutls_7.26.0-1 libdb5.1_5.1.29-1 libdpkg-perl_1.16.3 libffi-dev_3.0.10-3+b3 libffi5_3.0.10-3+b3 libfile-fcntllock-perl_0.14-1 libgc1c2_1:7.1-8 libgcc1_1:4.7.0-1.1+rpi libgcrypt11_1.5.0-3 libgdbm3_1.8.3-10 libgettextpo0_0.18.1.1-9 libghc-cpphs-dev_1.13.3-2 libghc-hashable-dev_1.1.2.3-1 libghc-hashtables-dev_1.0.1.4-1 libghc-haskeline-dev_0.6.4.7-1 libghc-haskell-src-dev_1.0.1.5-1 libghc-mtl-dev_2.1.1-1 libghc-primitive-dev_0.4.1-1 libghc-quickcheck2-dev_2.4.2-1 libghc-random-dev_1.0.1.1-1 libghc-src-exts-dev_1.11.1-3 libghc-syb-dev_0.3.6.1-1 libghc-terminfo-dev_0.3.2.3-1 libghc-text-dev_0.11.2.0-1 libghc-transformers-dev_0.3.0.0-1 libghc-utf8-string-dev_0.3.7-1 libghc-vector-dev_0.9.1-2 libghc-xhtml-dev_3000.2.1-1 libghc-zlib-dev_0.5.3.3-1 libglib2.0-0_2.32.3-1 libgmp-dev_2:5.0.5+dfsg-2 libgmp10_2:5.0.5+dfsg-2 libgmpxx4ldbl_2:5.0.5+dfsg-2 libgnutls26_2.12.20-1 libgomp1_4.7.0-1.1+rpi libgpg-error0_1.10-3 libgssapi-krb5-2_1.10.1+dfsg-1 libidn11_1.25-2 libk5crypto3_1.10.1+dfsg-1 libkeyutils1_1.5.5-2 libkrb5-3_1.10.1+dfsg-1 libkrb5support0_1.10.1+dfsg-1 libldap-2.4-2_2.4.28-1.1+rpi1 libllvm3.0_3.0-9 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20110809-3 libmagic1_5.11-1 libmount1_2.20.1-5 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9-8 libncurses5-dev_5.9-8 libncursesw5_5.9-8 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-7.1 libpam0g_1.1.3-7.1 libpcre3_1:8.30-5 libpipeline1_1.2.1-1 libreadline6_6.2-8 librtmp0_2.4+20111222.git4e06e21-1 libsasl2-2_2.1.25.dfsg1-4 libselinux1_2.1.9-2 libsemanage-common_2.1.6-2 libsemanage1_2.1.6-2 libsepol1_2.1.4-3 libslang2_2.2.4-10 libss2_1.42.2-2 libssh2-1_1.4.2-1 libstdc++6_4.7.0-1.1+rpi libstdc++6-4.6-dev_4.6.3-1.1+rpi2 libswitch-perl_2.16-2 libtasn1-3_2.13-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libtinfo-dev_5.9-8 libtinfo5_5.9-8 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20 libustr-1.0-1_1.0.4-2 libuuid1_2.20.1-5 libxml2_2.8.0+dfsg1-3 linux-libc-dev_3.2.18-1 llvm-3.0_3.0-9 llvm-3.0-runtime_3.0-9 login_1:4.1.5.1-1 lsb-base_4.1+Debian6 make_3.81-8.2 man-db_2.6.1-2 mawk_1.3.3-17 mount_2.20.1-5 multiarch-support_2.13-33 ncurses-base_5.9-7 ncurses-bin_5.9-8 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-11 perl-base_5.14.2-11 perl-modules_5.14.2-11 po-debconf_1.0.16+nmu2 raspbian-archive-keyring_20120528.2 readline-common_6.2-8 sbuild-build-depends-agda-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 sysv-rc_2.88dsf-22.1 sysvinit_2.88dsf-22.1 sysvinit-utils_2.88dsf-22.1 tar_1.26-4 tzdata_2012c-1 ucf_3.0025+nmu3 util-linux_2.20.1-5 xz-utils_5.1.1alpha+20110809-3 zlib1g_1:1.2.7.dfsg-11 zlib1g-dev_1:1.2.7.dfsg-11 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Fri May 25 21:08:34 2012 UTC using DSA key ID 4743206C gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda_2.3.0.1-2.dsc dpkg-source: info: extracting agda in agda-2.3.0.1 dpkg-source: info: unpacking agda_2.3.0.1.orig.tar.gz dpkg-source: info: unpacking agda_2.3.0.1-2.debian.tar.gz dpkg-source: info: applying extend-mtl-dependenc Check disc space ──────────────── Sufficient free space for build User Environment ──────────────── HOME=/sbuild-nonexistent LOGNAME=buildd PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games SCHROOT_CHROOT_NAME=testing-armhf-sbuild SCHROOT_COMMAND=env SCHROOT_GID=108 SCHROOT_GROUP=buildd SCHROOT_SESSION_ID=testing-armhf-sbuild-e69ee2ee-e444-4c70-b367-9f228f4483d2 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package agda dpkg-buildpackage: source version 2.3.0.1-2 dpkg-source --before-build agda-2.3.0.1 dpkg-buildpackage: host architecture armhf fakeroot debian/rules clean test -x debian/rules dh_testroot dh_clean [ ! -x "debian/hlibrary.setup" ] || debian/hlibrary.setup clean rm -rf dist dist-ghc dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .*config* rm -f build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -rf debian/tmp-inst-ghc rm -f debian/extra-depends rm -f debian/hlibrary.Makefile rm -rf debian/dh_haskell_shlibdeps debian/rules build-arch test -x debian/rules mkdir -p "." /usr/share/cdbs/1/rules/buildcore.mk:109: WARNING: DEB_COMPRESS_EXCLUDE is a deprecated variable if test ! -e Setup.lhs -a ! -e Setup.hs; then echo "No setup script found!"; exit 1; fi for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc --make $setup -o debian/hlibrary.setup; exit 0; fi; done [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... debian/hlibrary.setup configure --ghc -v2 \ --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib \ --builddir=dist-ghc \ --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.3.0.1/ \ --htmldir=/usr/share/doc/libghc-agda-doc/html/ --ghc-option=-DDEBIAN_NO_GHCI \ --datadir='/usr/share' --datasubdir='libghc-agda-dev' Configuring Agda-2.3.0.1... Flags chosen: epic=False, use-locale=True Dependency QuickCheck >=2.3 && <2.5: using QuickCheck-2.4.2 Dependency array >=0.1 && <0.5: using array-0.4.0.0 Dependency base >=4.2 && <4.6: using base-4.5.0.0 Dependency binary >=0.4.4 && <0.6: using binary-0.5.1.0 Dependency bytestring >=0.9.0.1 && <0.10: using bytestring-0.9.2.1 Dependency containers >=0.1 && <0.5: using containers-0.4.2.1 Dependency directory >=1.0 && <1.2: using directory-1.1.0.2 Dependency filepath >=1.1 && <1.4: using filepath-1.3.0.0 Dependency hashable ==1.1.*: using hashable-1.1.2.3 Dependency hashtables ==1.0.*: using hashtables-1.0.1.4 Dependency haskeline >=0.6.3.2 && <0.7: using haskeline-0.6.4.7 Dependency haskell-src-exts >=1.9.6 && <1.12: using haskell-src-exts-1.11.1 Dependency mtl >=2.0 && <2.2: using mtl-2.1.1 Dependency old-time >=1.0 && <1.2: using old-time-1.1.0.0 Dependency pretty >=1.0 && <1.2: using pretty-1.1.1.0 Dependency process >=1.0.1.0 && <1.2: using process-1.1.0.1 Dependency syb >=0.1 && <0.4: using syb-0.3.6.1 Dependency xhtml ==3000.2.*: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6: using zlib-0.5.3.3 Using Cabal-1.14.0 compiled by ghc-7.4 Using compiler: ghc-7.4.1 Using install prefix: /usr Binaries installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/Agda-2.3.0.1 Using alex version 3.0.1 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.6 found on system at: /usr/bin/gcc Using ghc version 7.4.1 found on system at: /usr/bin/ghc Using ghc-pkg version 7.4.1 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.10.0 found on system at: /usr/bin/haddock Using happy version 1.18.9 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs Using hscolour version 1.19 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found debian/hlibrary.setup build --builddir=dist-ghc Building Agda-2.3.0.1... Preprocessing library Agda-2.3.0.1... shift/reduce conflicts: 1 [ 1 of 232] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist-ghc/build/Agda/Utils/Pointer.o ) [ 2 of 232] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist-ghc/build/Agda/Utils/SemiRing.o ) [ 3 of 232] Compiling Agda.Utils.Graph ( src/full/Agda/Utils/Graph.hs, dist-ghc/build/Agda/Utils/Graph.o ) [ 4 of 232] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist-ghc/build/Agda/Utils/Hash.o ) [ 5 of 232] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o ) [ 6 of 232] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist-ghc/build/Agda/Utils/Maybe.o ) [ 7 of 232] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist-ghc/build/Agda/Utils/Char.o ) [ 8 of 232] Compiling Agda.Utils.Unicode ( src/full/Agda/Utils/Unicode.hs, dist-ghc/build/Agda/Utils/Unicode.o ) [ 9 of 232] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist-ghc/build/Agda/Utils/Suffix.o ) [ 10 of 232] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist-ghc/build/Agda/Utils/IO/Binary.o ) [ 11 of 232] Compiling Agda.Utils.Generics ( src/full/Agda/Utils/Generics.hs, dist-ghc/build/Agda/Utils/Generics.o ) [ 12 of 232] Compiling Agda.Packaging.Types ( src/full/Agda/Packaging/Types.hs, dist-ghc/build/Agda/Packaging/Types.o ) [ 13 of 232] Compiling Agda.Packaging.Monad ( src/full/Agda/Packaging/Monad.hs, dist-ghc/build/Agda/Packaging/Monad.o ) [ 14 of 232] Compiling Agda.Packaging.Database ( src/full/Agda/Packaging/Database.hs, dist-ghc/build/Agda/Packaging/Database.o ) [ 15 of 232] Compiling Agda.Packaging.Config ( src/full/Agda/Packaging/Config.hs, dist-ghc/build/Agda/Packaging/Config.o ) [ 16 of 232] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist-ghc/build/Agda/Utils/QuickCheck.o ) [ 17 of 232] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist-ghc/build/Agda/Utils/ReadP.o ) [ 18 of 232] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist-ghc/build/Agda/Utils/Function.o ) [ 19 of 232] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o ) [ 20 of 232] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist-ghc/build/Agda/Utils/IO/UTF8.o ) [ 21 of 232] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist-ghc/build/Agda/Utils/Tuple.o ) [ 22 of 232] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist-ghc/build/Agda/Utils/Trie.o ) [ 23 of 232] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist-ghc/build/Agda/Utils/String.o ) [ 24 of 232] Compiling Agda.Utils.Fresh ( src/full/Agda/Utils/Fresh.hs, dist-ghc/build/Agda/Utils/Fresh.o ) [ 25 of 232] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist-ghc/build/Agda/Utils/Size.o ) [ 26 of 232] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist-ghc/build/Agda/Utils/Impossible.o ) [ 27 of 232] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist-ghc/build/Agda/ImpossibleTest.o ) [ 28 of 232] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist-ghc/build/Agda/Utils/Permutation.o ) [ 29 of 232] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc/build/Agda/Auto/NarrowingSearch.o ) [ 30 of 232] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist-ghc/build/Agda/Auto/Syntax.o ) [ 31 of 232] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist-ghc/build/Agda/Auto/SearchControl.o ) [ 32 of 232] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist-ghc/build/Agda/Auto/Typecheck.o ) [ 33 of 232] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist-ghc/build/Agda/Auto/CaseSplit.o ) [ 34 of 232] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o ) [ 35 of 232] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist-ghc/build/Agda/Utils/Pretty.o ) [ 36 of 232] Compiling Agda.Utils.IO.Locale ( src/full/Agda/Utils/IO/Locale.hs, dist-ghc/build/Agda/Utils/IO/Locale.o ) [ 37 of 232] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist-ghc/build/Agda/Interaction/EmacsCommand.o ) [ 38 of 232] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist-ghc/build/Agda/Utils/TestHelpers.o ) [ 39 of 232] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist-ghc/build/Agda/Utils/FileName.o ) [ 40 of 232] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist-ghc/build/Agda/Syntax/Position.o ) [ 41 of 232] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist-ghc/build/Agda/Utils/List.o ) [ 42 of 232] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist-ghc/build/Agda/Utils/Monad.o ) [ 43 of 232] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o ) [ 44 of 232] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist-ghc/build/Agda/Syntax/Common.o ) [ 45 of 232] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist-ghc/build/Agda/Syntax/Concrete/Name.o ) [ 46 of 232] Compiling Agda.Interaction.FindFile[boot] ( src/full/Agda/Interaction/FindFile.hs-boot, dist-ghc/build/Agda/Interaction/FindFile.o-boot ) [ 47 of 232] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist-ghc/build/Agda/Compiler/JS/Syntax.o ) [ 48 of 232] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist-ghc/build/Agda/Compiler/JS/Pretty.o ) [ 49 of 232] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist-ghc/build/Agda/Compiler/JS/Substitution.o ) [ 50 of 232] Compiling Agda.Compiler.JS.Case ( src/full/Agda/Compiler/JS/Case.hs, dist-ghc/build/Agda/Compiler/JS/Case.o ) [ 51 of 232] Compiling Agda.Compiler.JS.Parser ( src/full/Agda/Compiler/JS/Parser.hs, dist-ghc/build/Agda/Compiler/JS/Parser.o ) [ 52 of 232] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist-ghc/build/Agda/Syntax/Notation.o ) [ 53 of 232] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist-ghc/build/Agda/Syntax/Fixity.o ) [ 54 of 232] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist-ghc/build/Agda/Syntax/Abstract/Name.o ) [ 55 of 232] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist-ghc/build/Agda/Syntax/Literal.o ) [ 56 of 232] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist-ghc/build/Agda/Syntax/Concrete.o ) [ 57 of 232] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist-ghc/build/Agda/Syntax/Concrete/Pretty.o ) [ 58 of 232] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist-ghc/build/Agda/Syntax/Parser/Tokens.o ) [ 59 of 232] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Implicit.o ) [ 60 of 232] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist-ghc/build/Agda/Syntax/Internal.o ) [ 61 of 232] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist-ghc/build/Agda/TypeChecking/Free.o ) [ 62 of 232] Compiling Agda.Compiler.Epic.Interface ( src/full/Agda/Compiler/Epic/Interface.hs, dist-ghc/build/Agda/Compiler/Epic/Interface.o ) [ 63 of 232] Compiling Agda.Compiler.Epic.AuxAST ( src/full/Agda/Compiler/Epic/AuxAST.hs, dist-ghc/build/Agda/Compiler/Epic/AuxAST.o ) [ 64 of 232] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause.o ) [ 65 of 232] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist-ghc/build/Agda/Syntax/Internal/Generic.o ) [ 66 of 232] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist-ghc/build/Agda/Syntax/Internal/Pattern.o ) [ 67 of 232] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist-ghc/build/Agda/TypeChecking/Coverage/Match.o ) [ 68 of 232] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators/Parser.o ) [ 69 of 232] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist-ghc/build/Agda/Syntax/Parser/Monad.o ) [ 70 of 232] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist-ghc/build/Agda/Syntax/Parser/Alex.o ) [ 71 of 232] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist-ghc/build/Agda/Syntax/Parser/Layout.o-boot ) [ 72 of 232] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist-ghc/build/Agda/Syntax/Parser/LexActions.o-boot ) [ 73 of 232] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist-ghc/build/Agda/Syntax/Parser/LookAhead.o ) [ 74 of 232] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist-ghc/build/Agda/Syntax/Parser/StringLiterals.o ) [ 75 of 232] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist-ghc/build/Agda/Syntax/Parser/Comments.o ) [ 76 of 232] Compiling Agda.Syntax.Parser.Lexer ( dist-ghc/build/Agda/Syntax/Parser/Lexer.hs, dist-ghc/build/Agda/Syntax/Parser/Lexer.o ) [ 77 of 232] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist-ghc/build/Agda/Utils/Map.o ) [ 78 of 232] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist-ghc/build/Agda/Syntax/Scope/Base.o ) [ 79 of 232] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist-ghc/build/Agda/Syntax/Info.o ) [ 80 of 232] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist-ghc/build/Agda/Syntax/Abstract.o ) [ 81 of 232] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist-ghc/build/Agda/Syntax/Abstract/Views.o ) [ 82 of 232] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o ) [ 83 of 232] Compiling Agda.Syntax.Strict ( src/full/Agda/Syntax/Strict.hs, dist-ghc/build/Agda/Syntax/Strict.o ) [ 84 of 232] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist-ghc/build/Agda/Syntax/Parser/LexActions.o ) [ 85 of 232] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist-ghc/build/Agda/Syntax/Parser/Layout.o ) [ 86 of 232] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist-ghc/build/Agda/Interaction/Highlighting/Range.o ) [ 87 of 232] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist-ghc/build/Agda/Interaction/Highlighting/Precise.o ) [ 88 of 232] Compiling Agda.Syntax.Parser.Parser ( dist-ghc/build/Agda/Syntax/Parser/Parser.hs, dist-ghc/build/Agda/Syntax/Parser/Parser.o ) [ 89 of 232] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist-ghc/build/Agda/Syntax/Parser.o ) [ 90 of 232] Compiling Agda.Interaction.Exceptions ( src/full/Agda/Interaction/Exceptions.hs, dist-ghc/build/Agda/Interaction/Exceptions.o ) [ 91 of 232] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o ) [ 92 of 232] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist-ghc/build/Agda/Interaction/Imports.o-boot ) [ 93 of 232] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist-ghc/build/Agda/TypeChecking/MetaVars.o-boot ) [ 94 of 232] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist-ghc/build/Agda/TypeChecking/Substitute.o ) [ 95 of 232] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist-ghc/build/Agda/TypeChecking/Abstract.o ) [ 96 of 232] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Problem.o ) [ 97 of 232] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Monad/Builtin.o ) [ 98 of 232] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Options.o-boot ) [ 99 of 232] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist-ghc/build/Agda/TypeChecking/Monad/Context.o-boot ) [100 of 232] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist-ghc/build/Agda/TypeChecking/Monad/State.o ) [101 of 232] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist-ghc/build/Agda/Syntax/Translation/AbstractToConcrete.o ) [102 of 232] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist-ghc/build/Agda/TypeChecking/Monad/Statistics.o ) [103 of 232] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist-ghc/build/Agda/TypeChecking/Monad/Trace.o ) [104 of 232] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist-ghc/build/Agda/TypeChecking/Datatypes.o-boot ) [105 of 232] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Term.o-boot ) [106 of 232] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) [107 of 232] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) [108 of 232] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist-ghc/build/Agda/TypeChecking/LevelConstraints.o ) [109 of 232] Compiling Agda.TypeChecking.Monad.Exception ( src/full/Agda/TypeChecking/Monad/Exception.hs, dist-ghc/build/Agda/TypeChecking/Monad/Exception.o ) [110 of 232] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist-ghc/build/Agda/TypeChecking/Monad/Env.o ) [111 of 232] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist-ghc/build/Agda/TypeChecking/Monad/Open.o ) [112 of 232] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist-ghc/build/Agda/TypeChecking/Monad/Context.o ) [113 of 232] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist-ghc/build/Agda/TypeChecking/Monad/Imports.o ) [114 of 232] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist-ghc/build/Agda/TypeChecking/Monad/Mutual.o ) [115 of 232] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist-ghc/build/Agda/TypeChecking/Polarity.o-boot ) [116 of 232] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist-ghc/build/Agda/Interaction/FindFile.o ) [117 of 232] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist-ghc/build/Agda/TypeChecking/Monad/Options.o ) [118 of 232] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist-ghc/build/Agda/Syntax/Scope/Monad.o ) [119 of 232] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist-ghc/build/Agda/Syntax/Concrete/Operators.o ) [120 of 232] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/Monad/SizedTypes.o ) [121 of 232] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist-ghc/build/Agda/Termination/Semiring.o ) [122 of 232] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist-ghc/build/Agda/Termination/SparseMatrix.o ) [123 of 232] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist-ghc/build/Agda/Termination/CallGraph.o ) [124 of 232] Compiling Agda.Termination.Matrix ( src/full/Agda/Termination/Matrix.hs, dist-ghc/build/Agda/Termination/Matrix.o ) [125 of 232] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist-ghc/build/Agda/Utils/Either.o ) [126 of 232] Compiling Agda.Termination.Lexicographic ( src/full/Agda/Termination/Lexicographic.hs, dist-ghc/build/Agda/Termination/Lexicographic.o ) [127 of 232] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist-ghc/build/Agda/Termination/Termination.o ) [128 of 232] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o ) [129 of 232] Compiling Agda.TypeChecking.Test.Generators ( src/full/Agda/TypeChecking/Test/Generators.hs, dist-ghc/build/Agda/TypeChecking/Test/Generators.o ) [130 of 232] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist-ghc/build/Agda/TypeChecking/Monad/Signature.o ) [131 of 232] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist-ghc/build/Agda/TypeChecking/Monad/Closure.o ) [132 of 232] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Monad/Constraints.o ) [133 of 232] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/Monad/MetaVars.o ) [134 of 232] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist-ghc/build/Agda/TypeChecking/Monad/Debug.o ) [135 of 232] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist-ghc/build/Agda/TypeChecking/Monad.o ) [136 of 232] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist-ghc/build/Agda/Syntax/Abstract/Pretty.o ) [137 of 232] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) [138 of 232] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist-ghc/build/Agda/Interaction/Monad.o ) [139 of 232] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist-ghc/build/Agda/Interaction/Highlighting/Dot.o ) [140 of 232] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist-ghc/build/Agda/TypeChecking/Serialise.o ) [141 of 232] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) [142 of 232] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist-ghc/build/Agda/TypeChecking/Conversion.o-boot ) [143 of 232] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist-ghc/build/Agda/TypeChecking/Records.o-boot ) [144 of 232] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist-ghc/build/Agda/TypeChecking/EtaContract.o ) [145 of 232] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist-ghc/build/Agda/TypeChecking/Irrelevance.o ) [146 of 232] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist-ghc/build/Agda/TypeChecking/Pretty.o-boot ) [147 of 232] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot ) [148 of 232] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist-ghc/build/Agda/TypeChecking/Level.o-boot ) [149 of 232] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist-ghc/build/Agda/Interaction/Highlighting/Vim.o ) [150 of 232] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o-boot ) [151 of 232] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist-ghc/build/Agda/TypeChecking/Rules/Def.o-boot ) [152 of 232] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist-ghc/build/Agda/TypeChecking/Empty.o-boot ) [153 of 232] Compiling Agda.TypeChecking.UniversePolymorphism[boot] ( src/full/Agda/TypeChecking/UniversePolymorphism.hs-boot, dist-ghc/build/Agda/TypeChecking/UniversePolymorphism.o-boot ) [154 of 232] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o-boot ) [155 of 232] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist-ghc/build/Agda/TypeChecking/Reduce.o ) [156 of 232] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist-ghc/build/Agda/TypeChecking/Telescope.o ) [157 of 232] Compiling Agda.TypeChecking.Tests ( src/full/Agda/TypeChecking/Tests.hs, dist-ghc/build/Agda/TypeChecking/Tests.o ) [158 of 232] Compiling Agda.TypeChecking.Eliminators ( src/full/Agda/TypeChecking/Eliminators.hs, dist-ghc/build/Agda/TypeChecking/Eliminators.o ) [159 of 232] Compiling Agda.Compiler.Epic.CompileState ( src/full/Agda/Compiler/Epic/CompileState.hs, dist-ghc/build/Agda/Compiler/Epic/CompileState.o ) [160 of 232] Compiling Agda.Compiler.Epic.CaseOpts ( src/full/Agda/Compiler/Epic/CaseOpts.hs, dist-ghc/build/Agda/Compiler/Epic/CaseOpts.o ) [161 of 232] Compiling Agda.Compiler.Epic.NatDetection ( src/full/Agda/Compiler/Epic/NatDetection.hs, dist-ghc/build/Agda/Compiler/Epic/NatDetection.o ) [162 of 232] Compiling Agda.Compiler.Epic.Primitive ( src/full/Agda/Compiler/Epic/Primitive.hs, dist-ghc/build/Agda/Compiler/Epic/Primitive.o ) [163 of 232] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist-ghc/build/Agda/TypeChecking/Level.o ) [164 of 232] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist-ghc/build/Agda/TypeChecking/DisplayForm.o ) [165 of 232] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist-ghc/build/Agda/TypeChecking/Datatypes.o ) [166 of 232] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist-ghc/build/Agda/Syntax/Translation/InternalToAbstract.o ) [167 of 232] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist-ghc/build/Agda/TypeChecking/Pretty.o ) [168 of 232] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist-ghc/build/Agda/TypeChecking/Errors.o ) [169 of 232] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist-ghc/build/Agda/Interaction/Highlighting/Emacs.o ) [170 of 232] Compiling Agda.Compiler.Epic.ForceConstrs ( src/full/Agda/Compiler/Epic/ForceConstrs.hs, dist-ghc/build/Agda/Compiler/Epic/ForceConstrs.o ) [171 of 232] Compiling Agda.Compiler.Epic.Epic ( src/full/Agda/Compiler/Epic/Epic.hs, dist-ghc/build/Agda/Compiler/Epic/Epic.o ) [172 of 232] Compiling Agda.Compiler.Epic.Erasure ( src/full/Agda/Compiler/Epic/Erasure.hs, dist-ghc/build/Agda/Compiler/Epic/Erasure.o ) [173 of 232] Compiling Agda.Compiler.Epic.Static ( src/full/Agda/Compiler/Epic/Static.hs, dist-ghc/build/Agda/Compiler/Epic/Static.o ) [174 of 232] Compiling Agda.Compiler.Epic.FromAgda ( src/full/Agda/Compiler/Epic/FromAgda.hs, dist-ghc/build/Agda/Compiler/Epic/FromAgda.o ) [175 of 232] Compiling Agda.Compiler.Epic.Injection ( src/full/Agda/Compiler/Epic/Injection.hs, dist-ghc/build/Agda/Compiler/Epic/Injection.o ) [176 of 232] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist-ghc/build/Agda/TypeChecking/Records.o ) [177 of 232] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist-ghc/build/Agda/TypeChecking/RecordPatterns.o ) [178 of 232] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Compile.o ) [179 of 232] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Mention.o ) [180 of 232] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist-ghc/build/Agda/TypeChecking/Constraints.o ) [181 of 232] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist-ghc/build/Agda/TypeChecking/MetaVars/Occurs.o ) [182 of 232] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist-ghc/build/Agda/TypeChecking/Forcing.o ) [183 of 232] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist-ghc/build/Agda/TypeChecking/Positivity.o ) [184 of 232] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist-ghc/build/Agda/TypeChecking/Polarity.o ) [185 of 232] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist-ghc/build/Agda/TypeChecking/Quote.o ) [186 of 232] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist-ghc/build/Agda/TypeChecking/Primitive.o ) [187 of 232] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist-ghc/build/Agda/TypeChecking/CompiledClause/Match.o ) [188 of 232] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist-ghc/build/Agda/TypeChecking/Patterns/Match.o ) [189 of 232] Compiling Agda.TypeChecking.Rebind ( src/full/Agda/TypeChecking/Rebind.hs, dist-ghc/build/Agda/TypeChecking/Rebind.o ) [190 of 232] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) [191 of 232] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist-ghc/build/Agda/TypeChecking/MetaVars.o ) [192 of 232] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist-ghc/build/Agda/TypeChecking/SizedTypes.o ) [193 of 232] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist-ghc/build/Agda/Interaction/Highlighting/Generate.o ) [194 of 232] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist-ghc/build/Agda/Interaction/Highlighting/HTML.o ) [195 of 232] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist-ghc/build/Agda/TypeChecking/Injectivity.o ) [196 of 232] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist-ghc/build/Agda/TypeChecking/Conversion.o ) [197 of 232] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Unify.o ) [198 of 232] Compiling Agda.Compiler.Epic.Smashing ( src/full/Agda/Compiler/Epic/Smashing.hs, dist-ghc/build/Agda/Compiler/Epic/Smashing.o ) [199 of 232] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist-ghc/build/Agda/TypeChecking/Rules/Term.o ) [200 of 232] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin.o ) [201 of 232] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist-ghc/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o ) [202 of 232] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist-ghc/build/Agda/Termination/TermCheck.o ) [203 of 232] Compiling Agda.Compiler.HaskellTypes ( src/full/Agda/Compiler/HaskellTypes.hs, dist-ghc/build/Agda/Compiler/HaskellTypes.o ) [204 of 232] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist-ghc/build/Agda/TypeChecking/Rules/Data.o ) [205 of 232] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist-ghc/build/Agda/TypeChecking/Rules/Record.o ) [206 of 232] Compiling Agda.TypeChecking.UniversePolymorphism ( src/full/Agda/TypeChecking/UniversePolymorphism.hs, dist-ghc/build/Agda/TypeChecking/UniversePolymorphism.o ) [207 of 232] Compiling Agda.TypeChecking.Rules.LHS.Split ( src/full/Agda/TypeChecking/Rules/LHS/Split.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Split.o ) [208 of 232] Compiling Agda.TypeChecking.Rules.LHS.Instantiate ( src/full/Agda/TypeChecking/Rules/LHS/Instantiate.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS/Instantiate.o ) [209 of 232] Compiling Agda.Compiler.Epic.Forcing ( src/full/Agda/Compiler/Epic/Forcing.hs, dist-ghc/build/Agda/Compiler/Epic/Forcing.o ) [210 of 232] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist-ghc/build/Agda/TypeChecking/Rules/LHS.o ) [211 of 232] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist-ghc/build/Agda/TypeChecking/Coverage.o ) [212 of 232] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist-ghc/build/Agda/TypeChecking/Empty.o ) [213 of 232] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist-ghc/build/Agda/TypeChecking/With.o ) [214 of 232] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist-ghc/build/Agda/TypeChecking/Rules/Def.o ) [215 of 232] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist-ghc/build/Agda/TypeChecking/Rules/Decl.o ) [216 of 232] Compiling Agda.TypeChecker ( src/full/Agda/TypeChecker.hs, dist-ghc/build/Agda/TypeChecker.o ) [217 of 232] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist-ghc/build/Agda/Interaction/Imports.o ) [218 of 232] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Misc.o ) [219 of 232] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Encode.o ) [220 of 232] Compiling Agda.Tests ( src/full/Agda/Tests.hs, dist-ghc/build/Agda/Tests.o ) [221 of 232] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Pretty.o ) [222 of 232] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Primitives.o ) [223 of 232] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist-ghc/build/Agda/Compiler/MAlonzo/Compiler.o ) [224 of 232] Compiling Agda.Compiler.Epic.Compiler ( src/full/Agda/Compiler/Epic/Compiler.hs, dist-ghc/build/Agda/Compiler/Epic/Compiler.o ) [225 of 232] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist-ghc/build/Agda/Compiler/JS/Compiler.o ) [226 of 232] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist-ghc/build/Agda/Interaction/BasicOps.o ) [227 of 232] Compiling Agda.Interaction.CommandLine.CommandLine ( src/full/Agda/Interaction/CommandLine/CommandLine.hs, dist-ghc/build/Agda/Interaction/CommandLine/CommandLine.o ) [228 of 232] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist-ghc/build/Agda/Auto/Convert.o ) [229 of 232] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist-ghc/build/Agda/Interaction/MakeCase.o ) [230 of 232] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist-ghc/build/Agda/Auto/Auto.o ) [231 of 232] Compiling Agda.Interaction.GhciTop ( src/full/Agda/Interaction/GhciTop.hs, dist-ghc/build/Agda/Interaction/GhciTop.o ) [232 of 232] Compiling Agda.Main ( src/full/Agda/Main.hs, dist-ghc/build/Agda/Main.o ) Registering Agda-2.3.0.1... Preprocessing executable 'agda-mode' for Agda-2.3.0.1... [1 of 2] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Paths_Agda.o ) [2 of 2] Compiling Main ( src/agda-mode/Main.hs, dist-ghc/build/agda-mode/agda-mode-tmp/Main.o ) Linking dist-ghc/build/agda-mode/agda-mode ... touch build-ghc-stamp DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp fakeroot debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." /usr/share/cdbs/1/rules/buildcore.mk:109: WARNING: DEB_COMPRESS_EXCLUDE is a deprecated variable Adding cdbs dependencies to debian/libghc-agda-dev.substvars dh_installdirs -plibghc-agda-dev debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1 Installing executable(s) in debian/tmp-inst-ghc/usr/bin pkg_config=`debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config | sed -r 's,.*: ,,'` ; \ dh_haskell_extra_depends $pkg_config ; \ rm $pkg_config cd debian/tmp-inst-ghc ; find usr/lib/haskell-packages/ghc/lib/ \ \( ! -name "*_p.a" ! -name "*.p_hi" \) \ -exec install -Dm 644 '{}' ../libghc-agda-dev/'{}' ';' install: target `../libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/' is not a directory: No such file or directory install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/CommandLine' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Patterns' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Test' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin' install: omitting directory `usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS' pkg_config=`debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config | sed -r 's,.*: ,,'`; \ \ install -Dm 644 $pkg_config debian/libghc-agda-dev/var/lib/ghc/package.conf.d/$pkg_config; \ rm -f $pkg_config if [ 'z' != 'z' ] ; then \ echo '' > debian/libghc-agda-dev/usr/lib/haskell-packages/ghc/lib/agda-2.3.0.1/extra-packages ; \ fi dh_haskell_provides -plibghc-agda-dev dh_haskell_depends -plibghc-agda-dev dh_haskell_shlibdeps -plibghc-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: package could avoid a useless dependency if debian/dh_haskell_shlibdeps/a.out was not linked against libz.so.1 (it uses none of the library's symbols). dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/dh_haskell_shlibdeps/a.out was not linked against libtinfo.so.5 (it uses none of the library's symbols). dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/dh_haskell_shlibdeps/a.out was not linked against libncurses.so.5 (it uses none of the library's symbols). dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/dh_haskell_shlibdeps/a.out was not linked against libutil.so.1 (it uses none of the library's symbols). dh_installdocs -plibghc-agda-dev ./README dh_installexamples -plibghc-agda-dev dh_installman -plibghc-agda-dev dh_installinfo -plibghc-agda-dev dh_installmenu -plibghc-agda-dev dh_installcron -plibghc-agda-dev dh_installinit -plibghc-agda-dev dh_installdebconf -plibghc-agda-dev dh_installemacsen -plibghc-agda-dev dh_installcatalogs -plibghc-agda-dev dh_installpam -plibghc-agda-dev dh_installlogrotate -plibghc-agda-dev dh_installlogcheck -plibghc-agda-dev dh_installchangelogs -plibghc-agda-dev dh_installudev -plibghc-agda-dev dh_lintian -plibghc-agda-dev dh_bugfiles -plibghc-agda-dev dh_install -plibghc-agda-dev dh_link -plibghc-agda-dev dh_buildinfo -plibghc-agda-dev Use of uninitialized value within @essentials in string ne at /usr/bin/dh_buildinfo line 164. dh_installmime -plibghc-agda-dev dh_installgsettings -plibghc-agda-dev dh_strip -plibghc-agda-dev dh_compress -plibghc-agda-dev -X .haddock -X .hs dh_fixperms -plibghc-agda-dev dh_makeshlibs -plibghc-agda-dev dh_installdeb -plibghc-agda-dev dh_perl -plibghc-agda-dev dh_shlibdeps -plibghc-agda-dev dh_gencontrol -plibghc-agda-dev dpkg-gencontrol: warning: package libghc-agda-dev: unused substitution variable ${shlibs:Depends} dh_md5sums -plibghc-agda-dev dh_builddeb -plibghc-agda-dev dpkg-deb: building package `libghc-agda-dev' in `../libghc-agda-dev_2.3.0.1-2_armhf.deb'. dpkg-genchanges -B -mbuildd >../agda_2.3.0.1-2_armhf.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build agda-2.3.0.1 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120622-1634 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ agda_2.3.0.1-2_armhf.changes: ───────────────────────────── Format: 1.8 Date: Fri, 25 May 2012 22:58:34 +0200 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: armhf Version: 2.3.0.1-2 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Joachim Breitner Description: agda - dependently typed functional programming language agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language - development l libghc-agda-doc - dependently typed functional programming language - documentation Changes: agda (2.3.0.1-2) unstable; urgency=low . * New patch: Extend mtl dependency Checksums-Sha1: 759817787acaeab8e7a8b99d658ed30419e82fb0 17612924 libghc-agda-dev_2.3.0.1-2_armhf.deb Checksums-Sha256: ed68daf66d8823270d8d46c961eef3a68449ce349201b39570e488ff06a4e441 17612924 libghc-agda-dev_2.3.0.1-2_armhf.deb Files: 2d568426b8c44b21f92fe20653d46d69 17612924 haskell extra libghc-agda-dev_2.3.0.1-2_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ libghc-agda-dev_2.3.0.1-2_armhf.deb ─────────────────────────────────── new debian package, version 2.0. size 17612924 bytes: control archive= 7412 bytes. 1834 bytes, 26 lines control 25692 bytes, 217 lines md5sums Package: libghc-agda-dev Source: agda Version: 2.3.0.1-2 Architecture: armhf Maintainer: Debian Haskell Group Installed-Size: 81965 Depends: libghc-quickcheck-dev-2.4.2-170f1, libghc-array-dev-0.4.0.0-3cf1b, libghc-base-dev-4.5.0.0-d93df, libghc-binary-dev-0.5.1.0-d353b, libghc-bytestring-dev-0.9.2.1-e17f0, libghc-containers-dev-0.4.2.1-7c545, libghc-directory-dev-1.1.0.2-57272, libghc-filepath-dev-1.3.0.0-163d9, libghc-hashable-dev-1.1.2.3-ea6fe, libghc-hashtables-dev-1.0.1.4-9c3fe, libghc-haskeline-dev-0.6.4.7-3f753, libghc-haskell-src-exts-dev-1.11.1-8957f, libghc-mtl-dev-2.1.1-87121, libghc-old-time-dev-1.1.0.0-2a9ba, libghc-pretty-dev-1.1.1.0-7e118, libghc-process-dev-1.1.0.1-75c65, libghc-syb-dev-0.3.6.1-ad588, libghc-xhtml-dev-3000.2.1-4e39f, libghc-zlib-dev-0.5.3.3-9ed15 Suggests: libghc-agda-doc Provides: libghc-agda-dev-2.3.0.1-4fcc0 Section: haskell Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: 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. drwxr-xr-x root/root 0 2012-06-22 16:31 ./ drwxr-xr-x root/root 0 2012-06-22 16:31 ./var/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./var/lib/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./var/lib/ghc/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./var/lib/ghc/package.conf.d/ -rw-r--r-- root/root 10822 2012-06-22 16:31 ./var/lib/ghc/package.conf.d/Agda-2.3.0.1.conf drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/ drwxr-xr-x root/root 0 2012-06-22 16:30 ./usr/lib/ drwxr-xr-x root/root 0 2012-06-22 16:30 ./usr/lib/haskell-packages/ drwxr-xr-x root/root 0 2012-06-22 16:30 ./usr/lib/haskell-packages/ghc/ drwxr-xr-x root/root 0 2012-06-22 16:30 ./usr/lib/haskell-packages/ghc/lib/ drwxr-xr-x root/root 0 2012-06-22 16:30 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/ -rw-r--r-- root/root 48295908 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/libHSAgda-2.3.0.1.a drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/ -rw-r--r-- root/root 1080 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/ImpossibleTest.hi -rw-r--r-- root/root 7641 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecker.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/ -rw-r--r-- root/root 9946 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Semiring.hi -rw-r--r-- root/root 33240 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Lexicographic.hi -rw-r--r-- root/root 20681 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/TermCheck.hi -rw-r--r-- root/root 110895 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Matrix.hi -rw-r--r-- root/root 55538 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/CallGraph.hi -rw-r--r-- root/root 102523 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/SparseMatrix.hi -rw-r--r-- root/root 25502 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Termination/Termination.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/ -rw-r--r-- root/root 685 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Monad.hi -rw-r--r-- root/root 686 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Config.hi -rw-r--r-- root/root 688 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Database.hi -rw-r--r-- root/root 685 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Packaging/Types.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/ -rw-r--r-- root/root 21897 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/HaskellTypes.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/ -rw-r--r-- root/root 85653 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Primitives.hi -rw-r--r-- root/root 20311 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Encode.hi -rw-r--r-- root/root 10460 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Pretty.hi -rw-r--r-- root/root 53396 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Compiler.hi -rw-r--r-- root/root 36953 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/MAlonzo/Misc.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/ -rw-r--r-- root/root 13920 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Smashing.hi -rw-r--r-- root/root 16737 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Primitive.hi -rw-r--r-- root/root 10660 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/NatDetection.hi -rw-r--r-- root/root 22900 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Forcing.hi -rw-r--r-- root/root 18331 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Erasure.hi -rw-r--r-- root/root 41186 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/CompileState.hi -rw-r--r-- root/root 8469 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/CaseOpts.hi -rw-r--r-- root/root 29201 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Interface.hi -rw-r--r-- root/root 7495 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Epic.hi -rw-r--r-- root/root 16845 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/FromAgda.hi -rw-r--r-- root/root 15794 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Compiler.hi -rw-r--r-- root/root 10061 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/ForceConstrs.hi -rw-r--r-- root/root 37633 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Injection.hi -rw-r--r-- root/root 25409 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/AuxAST.hi -rw-r--r-- root/root 10437 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/Epic/Static.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/ -rw-r--r-- root/root 36830 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Parser.hi -rw-r--r-- root/root 15297 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Case.hi -rw-r--r-- root/root 8203 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Substitution.hi -rw-r--r-- root/root 85797 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Syntax.hi -rw-r--r-- root/root 11145 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Pretty.hi -rw-r--r-- root/root 37913 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Compiler/JS/Compiler.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/ -rw-r--r-- root/root 12385 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Monad.hi -rw-r--r-- root/root 5283 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/EmacsCommand.hi -rw-r--r-- root/root 80765 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Options.hi -rw-r--r-- root/root 15140 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/FindFile.hi -rw-r--r-- root/root 103678 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/GhciTop.hi -rw-r--r-- root/root 67326 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/BasicOps.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/ -rw-r--r-- root/root 11233 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Vim.hi -rw-r--r-- root/root 10944 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/HTML.hi -rw-r--r-- root/root 8013 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Emacs.hi -rw-r--r-- root/root 24817 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Range.hi -rw-r--r-- root/root 102183 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Precise.hi -rw-r--r-- root/root 17656 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Generate.hi -rw-r--r-- root/root 11640 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Highlighting/Dot.hi -rw-r--r-- root/root 19846 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/MakeCase.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/CommandLine/ -rw-r--r-- root/root 36922 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/CommandLine/CommandLine.hi -rw-r--r-- root/root 35659 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Imports.hi -rw-r--r-- root/root 4920 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Interaction/Exceptions.hi -rw-r--r-- root/root 1403 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Version.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/ -rw-r--r-- root/root 1610 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/VarSet.hi -rw-r--r-- root/root 12687 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Monad.hi -rw-r--r-- root/root 4127 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Size.hi -rw-r--r-- root/root 1418 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Unicode.hi -rw-r--r-- root/root 3708 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/String.hi -rw-r--r-- root/root 29232 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/ReadP.hi -rw-r--r-- root/root 23900 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/List.hi -rw-r--r-- root/root 3013 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Fresh.hi -rw-r--r-- root/root 18890 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Permutation.hi -rw-r--r-- root/root 3839 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Suffix.hi -rw-r--r-- root/root 6053 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Impossible.hi -rw-r--r-- root/root 15105 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Trie.hi -rw-r--r-- root/root 12783 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Graph.hi -rw-r--r-- root/root 7384 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/QuickCheck.hi -rw-r--r-- root/root 3314 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Pointer.hi -rw-r--r-- root/root 22904 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/FileName.hi -rw-r--r-- root/root 4567 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Map.hi -rw-r--r-- root/root 1677 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Maybe.hi -rw-r--r-- root/root 7046 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Either.hi -rw-r--r-- root/root 968 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Hash.hi -rw-r--r-- root/root 10994 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/TestHelpers.hi -rw-r--r-- root/root 2560 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Generics.hi -rw-r--r-- root/root 4642 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Pretty.hi -rw-r--r-- root/root 1671 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Tuple.hi -rw-r--r-- root/root 1166 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Function.hi -rw-r--r-- root/root 2045 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Char.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/ -rw-r--r-- root/root 3286 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/UTF8.hi -rw-r--r-- root/root 2131 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/Locale.hi -rw-r--r-- root/root 1971 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/IO/Binary.hi -rw-r--r-- root/root 1899 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/SemiRing.hi -rw-r--r-- root/root 74268 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Utils/Warshall.hi -rw-r--r-- root/root 18471 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Main.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/ -rw-r--r-- root/root 15255 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Auto.hi -rw-r--r-- root/root 44403 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/NarrowingSearch.hi -rw-r--r-- root/root 34354 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Typecheck.hi -rw-r--r-- root/root 19809 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/CaseSplit.hi -rw-r--r-- root/root 27989 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/SearchControl.hi -rw-r--r-- root/root 22018 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Syntax.hi -rw-r--r-- root/root 44314 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Auto/Convert.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators/ -rw-r--r-- root/root 22046 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators/Parser.hi -rw-r--r-- root/root 60356 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Name.hi -rw-r--r-- root/root 52359 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Definitions.hi -rw-r--r-- root/root 60994 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Pretty.hi -rw-r--r-- root/root 22432 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete/Operators.hi -rw-r--r-- root/root 11117 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser.hi -rw-r--r-- root/root 13966 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Strict.hi -rw-r--r-- root/root 221392 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Concrete.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/ -rw-r--r-- root/root 7027 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/Pattern.hi -rw-r--r-- root/root 27612 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal/Generic.hi -rw-r--r-- root/root 199765 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Internal.hi -rw-r--r-- root/root 16297 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Notation.hi -rw-r--r-- root/root 95207 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Info.hi -rw-r--r-- root/root 60610 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Fixity.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/ -rw-r--r-- root/root 32886 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Monad.hi -rw-r--r-- root/root 20466 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Parser.hi -rw-r--r-- root/root 10318 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Comments.hi -rw-r--r-- root/root 10027 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Layout.hi -rw-r--r-- root/root 12184 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Lexer.hi -rw-r--r-- root/root 18343 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/LexActions.hi -rw-r--r-- root/root 15931 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/LookAhead.hi -rw-r--r-- root/root 17650 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Tokens.hi -rw-r--r-- root/root 7625 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/Alex.hi -rw-r--r-- root/root 9224 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Parser/StringLiterals.hi -rw-r--r-- root/root 20459 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Literal.hi -rw-r--r-- root/root 99156 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Position.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/ -rw-r--r-- root/root 77006 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Name.hi -rw-r--r-- root/root 11025 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Pretty.hi -rw-r--r-- root/root 3501 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract/Views.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/ -rw-r--r-- root/root 82140 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/ConcreteToAbstract.hi -rw-r--r-- root/root 79799 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/AbstractToConcrete.hi -rw-r--r-- root/root 48923 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Translation/InternalToAbstract.hi -rw-r--r-- root/root 168442 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Abstract.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/ -rw-r--r-- root/root 62793 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/Monad.hi -rw-r--r-- root/root 142888 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Scope/Base.hi -rw-r--r-- root/root 139777 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Syntax/Common.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/ -rw-r--r-- root/root 47218 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/ -rw-r--r-- root/root 15237 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/Mention.hi -rw-r--r-- root/root 31575 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars/Occurs.hi -rw-r--r-- root/root 7265 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Implicit.hi -rw-r--r-- root/root 232627 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Serialise.hi -rw-r--r-- root/root 7368 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/LevelConstraints.hi -rw-r--r-- root/root 160191 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Primitive.hi -rw-r--r-- root/root 7874 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/UniversePolymorphism.hi -rw-r--r-- root/root 11012 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Datatypes.hi -rw-r--r-- root/root 14802 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Injectivity.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/ -rw-r--r-- root/root 531902 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Base.hi -rw-r--r-- root/root 35751 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Exception.hi -rw-r--r-- root/root 9531 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Env.hi -rw-r--r-- root/root 42915 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Context.hi -rw-r--r-- root/root 21856 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/State.hi -rw-r--r-- root/root 9087 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Open.hi -rw-r--r-- root/root 43593 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Builtin.hi -rw-r--r-- root/root 35075 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Options.hi -rw-r--r-- root/root 11045 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Trace.hi -rw-r--r-- root/root 19166 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Mutual.hi -rw-r--r-- root/root 7090 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Statistics.hi -rw-r--r-- root/root 1390 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Debug.hi -rw-r--r-- root/root 16472 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/SizedTypes.hi -rw-r--r-- root/root 22088 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Constraints.hi -rw-r--r-- root/root 57950 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Signature.hi -rw-r--r-- root/root 7190 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Closure.hi -rw-r--r-- root/root 21857 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/Imports.hi -rw-r--r-- root/root 41175 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Monad/MetaVars.hi -rw-r--r-- root/root 7453 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Forcing.hi -rw-r--r-- root/root 10246 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/DisplayForm.hi -rw-r--r-- root/root 14389 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Irrelevance.hi -rw-r--r-- root/root 51137 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Positivity.hi -rw-r--r-- root/root 22197 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Conversion.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Patterns/ -rw-r--r-- root/root 10549 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Patterns/Match.hi -rw-r--r-- root/root 9807 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Empty.hi -rw-r--r-- root/root 23855 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Polarity.hi -rw-r--r-- root/root 37108 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Quote.hi -rw-r--r-- root/root 17754 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Errors.hi -rw-r--r-- root/root 5911 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rebind.hi -rw-r--r-- root/root 131527 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Reduce.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage/ -rw-r--r-- root/root 12257 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage/Match.hi -rw-r--r-- root/root 8570 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/EtaContract.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/ -rw-r--r-- root/root 11020 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/Match.hi -rw-r--r-- root/root 12354 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause/Compile.hi -rw-r--r-- root/root 7643 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Eliminators.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Test/ -rw-r--r-- root/root 79569 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Test/Generators.hi -rw-r--r-- root/root 55270 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Pretty.hi -rw-r--r-- root/root 21314 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Level.hi -rw-r--r-- root/root 12451 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Abstract.hi -rw-r--r-- root/root 21598 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/SizedTypes.hi -rw-r--r-- root/root 23180 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Coverage.hi -rw-r--r-- root/root 31445 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/RecordPatterns.hi -rw-r--r-- root/root 32451 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/CompiledClause.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/ -rw-r--r-- root/root 19305 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Decl.hi -rw-r--r-- root/root 17784 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Data.hi -rw-r--r-- root/root 15222 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin.hi -rw-r--r-- root/root 27657 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin/ -rw-r--r-- root/root 27953 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Builtin/Coinduction.hi -rw-r--r-- root/root 13478 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Record.hi -rw-r--r-- root/root 20046 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Def.hi -rw-r--r-- root/root 46209 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/Term.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/ -rw-r--r-- root/root 8463 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Implicit.hi -rw-r--r-- root/root 15797 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Split.hi -rw-r--r-- root/root 12509 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Problem.hi -rw-r--r-- root/root 151237 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Unify.hi -rw-r--r-- root/root 10645 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Rules/LHS/Instantiate.hi -rw-r--r-- root/root 14027 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Telescope.hi -rw-r--r-- root/root 34024 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Constraints.hi -rw-r--r-- root/root 138692 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Substitute.hi -rw-r--r-- root/root 14007 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/With.hi -rw-r--r-- root/root 23805 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Free.hi -rw-r--r-- root/root 24294 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Records.hi -rw-r--r-- root/root 15850 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/Tests.hi -rw-r--r-- root/root 51297 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/TypeChecking/MetaVars.hi -rw-r--r-- root/root 12912 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Agda/Tests.hi -rw-r--r-- root/root 28423864 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/HSAgda-2.3.0.1.o -rw-r--r-- root/root 6818 2012-06-22 16:31 ./usr/lib/haskell-packages/ghc/lib/Agda-2.3.0.1/ghc-7.4.1/Paths_Agda.hi drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/share/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/share/doc/libghc-agda-dev/ -rw-r--r-- root/root 3525 2012-03-12 03:09 ./usr/share/doc/libghc-agda-dev/README.gz -rw-r--r-- root/root 2725 2012-06-22 16:31 ./usr/share/doc/libghc-agda-dev/buildinfo_armhf.gz -rw-r--r-- root/root 2831 2012-05-25 13:58 ./usr/share/doc/libghc-agda-dev/changelog.Debian.gz -rw-r--r-- root/root 3421 2012-03-12 06:11 ./usr/share/doc/libghc-agda-dev/copyright drwxr-xr-x root/root 0 2012-06-22 16:31 ./usr/share/libghc-agda-dev/ -rw-r--r-- root/root 1089 2012-06-22 16:30 ./usr/share/libghc-agda-dev/Agda.css ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 12 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: alex* binfmt-support* bsdmainutils* cdbs* dctrl-tools* debhelper* dh-buildinfo* file* gettext* gettext-base* ghc* ghc-haddock* groff-base* happy* haskell-devscripts* hscolour* html-xml-utils* html2text* intltool-debian* libasprintf0c2* libbsd-dev* libbsd0* libcroco3* libcurl3-gnutls* libffi-dev* libffi5* libgcrypt11* libgettextpo0* libghc-cpphs-dev* libghc-hashable-dev* libghc-hashtables-dev* libghc-haskeline-dev* libghc-haskell-src-dev* libghc-mtl-dev* libghc-primitive-dev* libghc-quickcheck2-dev* libghc-random-dev* libghc-src-exts-dev* libghc-syb-dev* libghc-terminfo-dev* libghc-text-dev* libghc-transformers-dev* libghc-utf8-string-dev* libghc-vector-dev* libghc-xhtml-dev* libghc-zlib-dev* libglib2.0-0* libgmp-dev* libgmpxx4ldbl* libgnutls26* libgpg-error0* libgssapi-krb5-2* libidn11* libk5crypto3* libkeyutils1* libkrb5-3* libkrb5support0* libldap-2.4-2* libllvm3.0* libmagic1* libncurses5-dev* libp11-kit0* libpcre3* libpipeline1* librtmp0* libsasl2-2* libssh2-1* libtasn1-3* libtinfo-dev* libunistring0* libxml2* llvm-3.0* llvm-3.0-runtime* man-db* po-debconf* sbuild-build-depends-agda-dummy* sbuild-build-depends-core-dummy* zlib1g-dev* 0 upgraded, 0 newly installed, 78 to remove and 12 not upgraded. After this operation, 470 MB disk space will be freed. (Reading database ... 14702 files and directories currently installed.) Removing sbuild-build-depends-agda-dummy ... Removing alex ... Removing haskell-devscripts ... Removing ghc-haddock ... Removing libghc-haskeline-dev ... Removing libghc-quickcheck2-dev ... Removing libghc-random-dev ... Removing libghc-src-exts-dev ... Removing libghc-haskell-src-dev ... Removing libghc-cpphs-dev ... Removing libghc-hashtables-dev ... Removing libghc-hashable-dev ... Removing libghc-text-dev ... Removing libghc-vector-dev ... Removing libghc-primitive-dev ... Removing libghc-terminfo-dev ... Removing libghc-zlib-dev ... Removing libghc-utf8-string-dev ... Removing libghc-xhtml-dev ... Removing libghc-mtl-dev ... Removing libghc-transformers-dev ... Removing libghc-syb-dev ... Removing ghc ... Removing llvm-3.0 ... Removing llvm-3.0-runtime ... update-binfmts: warning: /var/lib/binfmts/llvm does not exist; nothing to do! Removing binfmt-support ... All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of stop. Purging configuration files for binfmt-support ... Removing dh-buildinfo ... Removing debhelper ... Removing man-db ... Purging configuration files for man-db ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing cdbs ... Removing dctrl-tools ... Purging configuration files for dctrl-tools ... Removing file ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing gettext-base ... Removing groff-base ... Purging configuration files for groff-base ... Removing happy ... Removing hscolour ... Removing html-xml-utils ... Removing html2text ... Purging configuration files for html2text ... Removing libasprintf0c2:armhf ... Removing libbsd-dev ... Removing libbsd0:armhf ... Purging configuration files for libbsd0:armhf ... Removing libcroco3:armhf ... Purging configuration files for libcroco3:armhf ... Removing libcurl3-gnutls:armhf ... Purging configuration files for libcurl3-gnutls:armhf ... Removing libffi-dev:armhf ... Removing libllvm3.0:armhf ... Purging configuration files for libllvm3.0:armhf ... Removing libglib2.0-0:armhf ... Purging configuration files for libglib2.0-0:armhf ... Removing libffi5:armhf ... Purging configuration files for libffi5:armhf ... Removing libssh2-1:armhf ... Purging configuration files for libssh2-1:armhf ... Removing librtmp0:armhf ... Purging configuration files for librtmp0:armhf ... Removing libldap-2.4-2:armhf ... Purging configuration files for libldap-2.4-2:armhf ... Removing libgnutls26:armhf ... Purging configuration files for libgnutls26:armhf ... Removing libgcrypt11:armhf ... Purging configuration files for libgcrypt11:armhf ... Removing libgettextpo0:armhf ... Removing libgmp-dev:armhf ... Removing libgmpxx4ldbl:armhf ... Purging configuration files for libgmpxx4ldbl:armhf ... Removing libgpg-error0:armhf ... Purging configuration files for libgpg-error0:armhf ... Removing libgssapi-krb5-2:armhf ... Purging configuration files for libgssapi-krb5-2:armhf ... Removing libidn11:armhf ... Purging configuration files for libidn11:armhf ... Removing libkrb5-3:armhf ... Purging configuration files for libkrb5-3:armhf ... Removing libk5crypto3:armhf ... Purging configuration files for libk5crypto3:armhf ... Removing libkrb5support0:armhf ... Purging configuration files for libkrb5support0:armhf ... Removing libkeyutils1:armhf ... Purging configuration files for libkeyutils1:armhf ... Removing libmagic1:armhf ... Purging configuration files for libmagic1:armhf ... Removing libncurses5-dev ... Removing libp11-kit0:armhf ... Purging configuration files for libp11-kit0:armhf ... Removing libpcre3:armhf ... Purging configuration files for libpcre3:armhf ... Removing libpipeline1:armhf ... Purging configuration files for libpipeline1:armhf ... Removing libsasl2-2:armhf ... Purging configuration files for libsasl2-2:armhf ... Removing libtasn1-3:armhf ... Purging configuration files for libtasn1-3:armhf ... Removing libtinfo-dev:armhf ... Removing libunistring0:armhf ... Purging configuration files for libunistring0:armhf ... Removing libxml2:armhf ... Purging configuration files for libxml2:armhf ... Removing sbuild-build-depends-core-dummy ... Removing zlib1g-dev:armhf ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Architecture: armhf Build-Space: 362268 Build-Time: 9427 Distribution: testing Install-Time: 163 Job: agda_2.3.0.1-2 Package: agda Package-Time: 9610 Source-Version: 2.3.0.1-2 Space: 362268 Status: successful Version: 2.3.0.1-2 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120622-1634 Build needed 02:40:10, 362268k disc space