sbuild (Debian sbuild) 0.62.6 (07 Dec 2011) on build02.raspbian.lan ╔══════════════════════════════════════════════════════════════════════════════╗ ║ agda-bin 2.3.0.1-1 (armhf) 22 Jun 2012 18:13 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: agda-bin Version: 2.3.0.1-1 Source Version: 2.3.0.1-1 Distribution: testing Architecture: armhf I: NOTICE: Log filtering will replace 'build/agda-bin-DBdrf6/agda-bin-2.3.0.1' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/agda-bin-DBdrf6' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/testing-armhf-sbuild-5ae85b5c-9450-41d1-a8f5-c897f171b461' 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-bin' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-haskell/agda-bin.git Need to get 6143 B of source archives. Get:1 http://repo.raspbian.lan/raspbian/ testing/main agda-bin 2.3.0.1-1 (dsc) [1370 B] Get:2 http://repo.raspbian.lan/raspbian/ testing/main agda-bin 2.3.0.1-1 (tar) [1765 B] Get:3 http://repo.raspbian.lan/raspbian/ testing/main agda-bin 2.3.0.1-1 (diff) [3008 B] Fetched 6143 B in 0s (20.3 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-TTsp99/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 8 not upgraded. Need to get 0 B/704 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 ... 10659 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.6.15+nmu12~), cdbs, ghc, libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) 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.6.15+nmu12~), cdbs, ghc, libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) dpkg-deb: building package `sbuild-build-depends-agda-bin-dummy' in `/«BUILDDIR»/resolver-fZpyOO/apt_archive/sbuild-build-depends-agda-bin-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install agda-bin build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: binfmt-support bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base haskell-devscripts hscolour html-xml-utils html2text intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi5 libgcrypt11 libgettextpo0 libghc-agda-dev libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-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 rng-tools libghc-agda-doc 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-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: binfmt-support bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base haskell-devscripts hscolour html-xml-utils html2text intltool-debian libasprintf0c2 libbsd-dev libbsd0 libcroco3 libcurl3-gnutls libffi-dev libffi5 libgcrypt11 libgettextpo0 libghc-agda-dev libghc-cpphs-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-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-bin-dummy zlib1g-dev 0 upgraded, 75 newly installed, 0 to remove and 8 not upgraded. Need to get 30.0 MB/122 MB of archives. After this operation, 526 MB of additional disk space will be used. Get:1 http://repo.raspbian.lan/raspbian/ testing/main libghc-vector-dev armhf 0.9.1-2 [2542 kB] Get:2 http://repo.raspbian.lan/raspbian/ testing/main libghc-hashtables-dev armhf 1.0.1.4-1 [399 kB] Get:3 http://repo.raspbian.lan/raspbian/ testing/main libghc-terminfo-dev armhf 0.3.2.3-1 [165 kB] Get:4 http://repo.raspbian.lan/raspbian/ testing/main libghc-haskeline-dev armhf 0.6.4.7-1 [1215 kB] Get:5 http://repo.raspbian.lan/raspbian/ testing/main libghc-cpphs-dev armhf 1.13.3-2 [341 kB] Get:6 http://repo.raspbian.lan/raspbian/ testing/main libghc-src-exts-dev armhf 1.11.1-3 [7709 kB] Get:7 http://repo.raspbian.lan/raspbian/ testing/main libghc-agda-dev armhf 2.3.0.1-2 [17.6 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 30.0 MB in 8s (3468 kB/s) Selecting previously unselected package libpcre3:armhf. (Reading database ... 10659 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 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 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-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-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-cpphs-dev. Unpacking libghc-cpphs-dev (from .../libghc-cpphs-dev_1.13.3-2_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-syb-dev. Unpacking libghc-syb-dev (from .../libghc-syb-dev_0.3.6.1-1_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 libghc-agda-dev. Unpacking libghc-agda-dev (from .../libghc-agda-dev_2.3.0.1-2_armhf.deb) ... Selecting previously unselected package sbuild-build-depends-agda-bin-dummy. Unpacking sbuild-build-depends-agda-bin-dummy (from .../sbuild-build-depends-agda-bin-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 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 html-xml-utils (6.1-1) ... Setting up hscolour (1.19-3) ... Setting up haskell-devscripts (0.8.12) ... Setting up libghc-random-dev (1.0.1.1-1) ... Setting up libghc-quickcheck2-dev (2.4.2-1) ... 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-cpphs-dev (1.13.3-2) ... Setting up libghc-src-exts-dev (1.11.1-3) ... Setting up libghc-syb-dev (0.3.6.1-1) ... Setting up libghc-xhtml-dev (3000.2.1-1) ... Setting up libghc-zlib-dev (0.5.3.3-1) ... Setting up libghc-agda-dev (2.3.0.1-2) ... Setting up sbuild-build-depends-agda-bin-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: 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-3 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 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-3 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-agda-dev_2.3.0.1-2 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-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-5 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-3 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-bin-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 Mon Mar 12 13:32:20 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-bin_2.3.0.1-1.dsc dpkg-source: info: extracting agda-bin in agda-bin-2.3.0.1 dpkg-source: info: unpacking agda-bin_2.3.0.1.orig.tar.gz dpkg-source: info: applying agda-bin_2.3.0.1-1.diff.gz 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-5ae85b5c-9450-41d1-a8f5-c897f171b461 SCHROOT_UID=106 SCHROOT_USER=buildd SHELL=/bin/sh TERM=xterm USER=buildd dpkg-buildpackage ───────────────── dpkg-buildpackage: source package agda-bin dpkg-buildpackage: source version 2.3.0.1-1 dpkg-source --before-build agda-bin-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-executable-2.3.0.1/ \ --htmldir=/usr/share/doc/libghc-agda-executable-doc/html/ --ghc-option=-DDEBIAN_NO_GHCI \ Configuring Agda-executable-2.3.0.1... Dependency Agda ==2.3.0.1: using Agda-2.3.0.1 Dependency base >=3 && <6: using base-4.5.0.0 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-executable-2.3.0.1/ghc-7.4.1 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/Agda-executable-2.3.0.1 Documentation installed in: /usr/share/doc/Agda-executable-2.3.0.1 No alex found 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 No happy found 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-executable-2.3.0.1... Preprocessing executable 'agda' for Agda-executable-2.3.0.1... [1 of 1] Compiling Main ( Main.hs, dist-ghc/build/agda/agda-tmp/Main.o ) Linking dist-ghc/build/agda/agda ... touch build-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/agda-bin.substvars dh_installdirs -pagda-bin dh_installdocs -pagda-bin dh_installexamples -pagda-bin dh_installman -pagda-bin dh_installinfo -pagda-bin dh_installmenu -pagda-bin dh_installcron -pagda-bin dh_installinit -pagda-bin dh_installdebconf -pagda-bin dh_installemacsen -pagda-bin dh_installcatalogs -pagda-bin dh_installpam -pagda-bin dh_installlogrotate -pagda-bin dh_installlogcheck -pagda-bin dh_installchangelogs -pagda-bin dh_installudev -pagda-bin dh_lintian -pagda-bin dh_bugfiles -pagda-bin dh_install -pagda-bin dh_link -pagda-bin dh_buildinfo -pagda-bin Use of uninitialized value within @essentials in string ne at /usr/bin/dh_buildinfo line 164. dh_installmime -pagda-bin dh_installgsettings -pagda-bin dh_strip -pagda-bin dh_compress -pagda-bin -X .haddock -X .hs dh_fixperms -pagda-bin dh_makeshlibs -pagda-bin dh_installdeb -pagda-bin dh_perl -pagda-bin dh_shlibdeps -pagda-bin dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/agda-bin/usr/bin/agda 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/agda-bin/usr/bin/agda was not linked against libutil.so.1 (it uses none of the library's symbols). dh_gencontrol -pagda-bin dpkg-gencontrol: warning: Depends field of package agda-bin: unknown substitution variable ${haskell:Depends} dpkg-gencontrol: warning: Recommends field of package agda-bin: unknown substitution variable ${haskell:Recommends} dpkg-gencontrol: warning: Suggests field of package agda-bin: unknown substitution variable ${haskell:Suggests} dh_md5sums -pagda-bin dh_builddeb -pagda-bin dpkg-deb: building package `agda-bin' in `../agda-bin_2.3.0.1-1_armhf.deb'. dpkg-genchanges -B -mbuildd >../agda-bin_2.3.0.1-1_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-bin-2.3.0.1 dpkg-buildpackage: binary only upload (no source included) ──────────────────────────────────────────────────────────────────────────────── Build finished at 20120622-1818 Finished ──────── I: Built successfully ┌──────────────────────────────────────────────────────────────────────────────┐ │ Changes │ └──────────────────────────────────────────────────────────────────────────────┘ agda-bin_2.3.0.1-1_armhf.changes: ───────────────────────────────── Format: 1.8 Date: Mon, 12 Mar 2012 14:31:48 +0100 Source: agda-bin Binary: agda-bin Architecture: armhf Version: 2.3.0.1-1 Distribution: testing Urgency: low Maintainer: buildd Changed-By: Joachim Breitner Description: agda-bin - commandline interface to Agda Changes: agda-bin (2.3.0.1-1) unstable; urgency=low . * New upstream release Checksums-Sha1: e80fa63fbd620e3a42d1e8fee89508c24e4e90bd 7184944 agda-bin_2.3.0.1-1_armhf.deb Checksums-Sha256: 1ec5966b0d639063a8d16c13b71247e25cd8a8247aab1ba1507322d23c4a165b 7184944 agda-bin_2.3.0.1-1_armhf.deb Files: bb8bf438a4f1aec487ead39beb2279da 7184944 haskell extra agda-bin_2.3.0.1-1_armhf.deb ┌──────────────────────────────────────────────────────────────────────────────┐ │ Package contents │ └──────────────────────────────────────────────────────────────────────────────┘ agda-bin_2.3.0.1-1_armhf.deb ──────────────────────────── new debian package, version 2.0. size 7184944 bytes: control archive= 1136 bytes. 1406 bytes, 27 lines control 267 bytes, 4 lines md5sums Package: agda-bin Version: 2.3.0.1-1 Architecture: armhf Maintainer: Debian Haskell Group Installed-Size: 34017 Depends: libc6 (>= 2.13-28), libffi5 (>= 3.0.9), libgcc1 (>= 1:4.4.0), libgmp10, libncurses5 (>= 5.5-5~), libtinfo5, zlib1g (>= 1:1.1.4) Recommends: libghc-agda-dev (>= 2.3.0.1), libghc-agda-dev (<< 2.3.0.2~) Suggests: agda-mode Section: haskell Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: commandline interface to Agda Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources. drwxr-xr-x root/root 0 2012-06-22 18:17 ./ drwxr-xr-x root/root 0 2012-06-22 18:17 ./usr/ drwxr-xr-x root/root 0 2012-06-22 18:17 ./usr/share/ drwxr-xr-x root/root 0 2012-06-22 18:17 ./usr/share/doc/ drwxr-xr-x root/root 0 2012-06-22 18:18 ./usr/share/doc/agda-bin/ -rw-r--r-- root/root 1028 2012-06-22 18:16 ./usr/share/doc/agda-bin/changelog.Debian.gz -rw-r--r-- root/root 2381 2012-06-22 18:18 ./usr/share/doc/agda-bin/buildinfo_armhf.gz -rw-r--r-- root/root 1708 2012-06-22 18:16 ./usr/share/doc/agda-bin/copyright drwxr-xr-x root/root 0 2012-06-22 18:18 ./usr/bin/ -rwxr-xr-x root/root 34799536 2012-06-22 18:18 ./usr/bin/agda ┌──────────────────────────────────────────────────────────────────────────────┐ │ Post Build │ └──────────────────────────────────────────────────────────────────────────────┘ ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Reading package lists... Building dependency tree... Reading state information... 0 upgraded, 0 newly installed, 0 to remove and 8 not upgraded. Reading package lists... Building dependency tree... Reading state information... The following packages will be REMOVED: binfmt-support* bsdmainutils* cdbs* dctrl-tools* debhelper* dh-buildinfo* file* gettext* gettext-base* ghc* ghc-haddock* groff-base* haskell-devscripts* hscolour* html-xml-utils* html2text* intltool-debian* libasprintf0c2* libbsd-dev* libbsd0* libcroco3* libcurl3-gnutls* libffi-dev* libffi5* libgcrypt11* libgettextpo0* libghc-agda-dev* libghc-cpphs-dev* libghc-hashable-dev* libghc-hashtables-dev* libghc-haskeline-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-bin-dummy* sbuild-build-depends-core-dummy* zlib1g-dev* 0 upgraded, 0 newly installed, 76 to remove and 8 not upgraded. After this operation, 526 MB disk space will be freed. (Reading database ... 14745 files and directories currently installed.) Removing sbuild-build-depends-agda-bin-dummy ... Removing haskell-devscripts ... Removing ghc-haddock ... Removing libghc-agda-dev ... Removing libghc-haskeline-dev ... Removing libghc-quickcheck2-dev ... Removing libghc-random-dev ... Removing libghc-src-exts-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 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 ... dpkg: warning: while removing libsasl2-2:armhf, directory '/usr/lib/sasl2' not empty so not removed. 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: 148272 Build-Time: 130 Distribution: testing Install-Time: 171 Job: agda-bin_2.3.0.1-1 Package: agda-bin Package-Time: 321 Source-Version: 2.3.0.1-1 Space: 148272 Status: successful Version: 2.3.0.1-1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20120622-1818 Build needed 00:05:21, 148272k disc space