agda-stdlib →
0.3-1 →
powerpc → 2010-02-07 08:50:37 (
text)
sbuild (Debian sbuild) 0.59.1 (31 Jan 2010) on praetorius.debian.org
╔══════════════════════════════════════════════════════════════════════════════╗
║ agda-stdlib 0.3-1 (powerpc) 07 Feb 2010 08:48 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: agda-stdlib
Version: 0.3-1
Architecture: powerpc
Chroot Build Dir: /var/lib/schroot/mount/sid-powerpc-sbuild-061edc9d-9edb-48d1-95b8-9fb8fb1643c3/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO
Start Time: 20100207-0848
Get:1 http://ftp.se.debian.org sid Release.gpg [835B]
Get:2 http://ftp.se.debian.org sid Release [104kB]
Get:3 http://incoming.debian.org sid Release.gpg [835B]
Get:4 http://incoming.debian.org Release.gpg [835B]
Get:5 http://ftp.se.debian.org sid/main Packages/DiffIndex [2038B]
Get:6 http://incoming.debian.org sid Release [104kB]
Get:7 http://ftp.se.debian.org sid/contrib Packages/DiffIndex [2023B]
Get:8 http://ftp.se.debian.org sid/main Sources/DiffIndex [2038B]
Get:9 http://ftp.se.debian.org sid/contrib Sources/DiffIndex [2023B]
Get:10 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [6096B]
Get:11 http://incoming.debian.org Release [1609B]
Get:12 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [6096B]
Get:13 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [6096B]
Get:14 http://ftp.se.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:15 http://ftp.se.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:16 http://incoming.debian.org sid/main Packages/DiffIndex [2038B]
Get:17 http://incoming.debian.org sid/contrib Packages/DiffIndex [2023B]
Get:18 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [14.9kB]
Get:19 http://incoming.debian.org sid/main Sources/DiffIndex [2038B]
Get:20 http://incoming.debian.org sid/contrib Sources/DiffIndex [2023B]
Get:21 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [14.9kB]
Ign http://incoming.debian.org Packages/DiffIndex
Ign http://incoming.debian.org Sources/DiffIndex
Get:22 http://incoming.debian.org sid/main Packages [6351kB]
Get:23 http://ftp.se.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:24 http://ftp.se.debian.org sid/main 2010-02-01-2106.00.pdiff [14.9kB]
Get:25 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [10.2kB]
Get:26 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [10.2kB]
Get:27 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [10.2kB]
Get:28 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [7003B]
Get:29 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [7003B]
Get:30 http://incoming.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:31 http://incoming.debian.org sid/main Sources [3796kB]
Get:32 http://incoming.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:33 http://incoming.debian.org sid/contrib 2010-02-03-1503.52.pdiff [29B]
Get:34 http://incoming.debian.org Packages [308kB]
Get:35 http://incoming.debian.org Sources [25.9kB]
Get:36 http://ftp.se.debian.org sid/main 2010-02-02-0256.56.pdiff [7003B]
Get:37 http://incoming.debian.org sid/contrib 2010-02-03-1503.52.pdiff [29B]
Get:38 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [2365B]
Get:39 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [2365B]
Get:40 http://incoming.debian.org sid/contrib 2010-02-02-1508.43.pdiff [29B]
Get:41 http://incoming.debian.org sid/contrib 2010-02-03-1503.52.pdiff [29B]
Get:42 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [2365B]
Get:43 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [3781B]
Get:44 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [3781B]
Get:45 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [234B]
Get:46 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [234B]
Get:47 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [211B]
Get:48 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [211B]
Get:49 http://ftp.se.debian.org sid/main 2010-02-02-0901.51.pdiff [3781B]
Get:50 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [7411B]
Get:51 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [7411B]
Get:52 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [234B]
Get:53 http://incoming.debian.org sid/contrib 2010-02-04-0300.38.pdiff [211B]
Get:54 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [7411B]
Get:55 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [12.9kB]
Get:56 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [12.9kB]
Get:57 http://incoming.debian.org sid/contrib 2010-02-05-2114.03.pdiff [842B]
Get:58 http://incoming.debian.org sid/contrib 2010-02-05-2114.03.pdiff [842B]
Get:59 http://incoming.debian.org sid/contrib 2010-02-05-1501.11.pdiff [31B]
Get:60 http://incoming.debian.org sid/contrib 2010-02-05-1501.11.pdiff [31B]
Get:61 http://ftp.se.debian.org sid/main 2010-02-02-1508.43.pdiff [12.9kB]
Get:62 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [9342B]
Get:63 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [9342B]
Get:64 http://incoming.debian.org sid/contrib 2010-02-05-2114.03.pdiff [842B]
Get:65 http://incoming.debian.org sid/contrib 2010-02-05-1501.11.pdiff [31B]
Get:66 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [9342B]
Get:67 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [5988B]
Get:68 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [5988B]
Get:69 http://incoming.debian.org sid/contrib 2010-02-07-0258.22.pdiff [27B]
Get:70 http://incoming.debian.org sid/contrib 2010-02-07-0258.22.pdiff [27B]
Get:71 http://ftp.se.debian.org sid/main 2010-02-02-2103.20.pdiff [5988B]
Get:72 http://incoming.debian.org sid/contrib 2010-02-07-0258.22.pdiff [27B]
Fetched 10.8MB in 30s (350kB/s)
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...
Need to get 154kB of source archives.
Get:1 http://incoming.debian.org sid/main agda-stdlib 0.3-1 (dsc) [1605B]
Get:2 http://incoming.debian.org sid/main agda-stdlib 0.3-1 (tar) [150kB]
Get:3 http://incoming.debian.org sid/main agda-stdlib 0.3-1 (diff) [2660B]
Fetched 154kB in 1s (152kB/s)
Download complete and in download only mode
Check arch
──────────
** Using build dependencies supplied by package:
Build-Depends: debhelper (>= 7.0.50~), agda-bin (>= 2.2.6), agda-bin (<< 2.2.6.1~), libghc6-agda-dev (>= 2.2.6), libghc6-agda-dev (<< 2.2.6.1~), ghc6, libghc6-filepath-dev, libghc6-filemanip-dev
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install build dependencies (internal resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Checking for already installed source dependencies...
debhelper: missing
Using default version 7.4.13
agda-bin: missing
Using default version 2.2.6-1+b1
agda-bin: missing
Using default version 2.2.6-1+b1
libghc6-agda-dev: missing
Using default version 2.2.6-2
libghc6-agda-dev: missing
Using default version 2.2.6-2
ghc6: missing
libghc6-filepath-dev: missing
libghc6-filemanip-dev: missing
Checking for source dependency conflicts...
Installing positive dependencies: debhelper agda-bin agda-bin libghc6-agda-dev libghc6-agda-dev ghc6 libghc6-filepath-dev libghc6-filemanip-dev
Reading package lists...
Building dependency tree...
Reading state information...
Note, selecting ghc6 instead of libghc6-filepath-dev
The following extra packages will be installed:
bsdmainutils file gettext gettext-base groff-base html2text intltool-debian
libcroco3 libffi-dev libffi5 libghc6-binary-dev libghc6-haskeline-dev
libghc6-haskell-src-dev libghc6-mtl-dev libghc6-quickcheck2-dev
libghc6-terminfo-dev libghc6-utf8-string-dev libghc6-xhtml-dev
libghc6-zlib-dev libglib2.0-0 libgmp3-dev libgmpxx4ldbl libmagic1
libncurses5-dev libpcre3 libxml2 man-db po-debconf zlib1g-dev
Suggested packages:
agda-mode wamerican wordlist whois vacation dh-make gettext-doc ghc6-prof
ghc6-doc haskell-doc groff libghc6-agda-doc libghc6-agda-prof
libghc6-binary-doc libghc6-binary-prof libghc6-filemanip-doc
libghc6-filemanip-prof libghc6-haskeline-doc libghc6-haskeline-prof
libghc6-haskell-src-prof libghc6-haskell-src-doc libghc6-mtl-prof
libghc6-mtl-doc libghc6-quickcheck2-doc libghc6-quickcheck2-prof
libghc6-terminfo-doc libghc6-terminfo-prof libghc6-xhtml-prof
libghc6-xhtml-doc libghc6-zlib-doc libghc6-zlib-prof libgmp3-doc libmpfr-dev
less www-browser libmail-box-perl
Recommended packages:
curl wget lynx cvs libglib2.0-data shared-mime-info xml-core
libmail-sendmail-perl
The following NEW packages will be installed:
agda-bin bsdmainutils debhelper file gettext gettext-base ghc6 groff-base
html2text intltool-debian libcroco3 libffi-dev libffi5 libghc6-agda-dev
libghc6-binary-dev libghc6-filemanip-dev libghc6-haskeline-dev
libghc6-haskell-src-dev libghc6-mtl-dev libghc6-quickcheck2-dev
libghc6-terminfo-dev libghc6-utf8-string-dev libghc6-xhtml-dev
libghc6-zlib-dev libglib2.0-0 libgmp3-dev libgmpxx4ldbl libmagic1
libncurses5-dev libpcre3 libxml2 man-db po-debconf zlib1g-dev
0 upgraded, 34 newly installed, 0 to remove and 16 not upgraded.
Need to get 69.9MB of archives.
After this operation, 308MB of additional disk space will be used.
Get:1 http://ftp.se.debian.org sid/main bsdmainutils 8.0.6 [202kB]
Get:2 http://ftp.se.debian.org sid/main groff-base 1.20.1-6 [1176kB]
Get:3 http://ftp.se.debian.org sid/main man-db 2.5.6-5 [1223kB]
Get:4 http://ftp.se.debian.org sid/main libmagic1 5.04-1 [407kB]
Get:5 http://ftp.se.debian.org sid/main file 5.04-1 [48.7kB]
Get:6 http://ftp.se.debian.org sid/main gettext-base 0.17-8 [122kB]
Get:7 http://ftp.se.debian.org sid/main libpcre3 7.8-3 [216kB]
Get:8 http://ftp.se.debian.org sid/main libxml2 2.7.6.dfsg-2+b1 [848kB]
Get:9 http://ftp.se.debian.org sid/main html2text 1.3.2a-14 [104kB]
Get:10 http://ftp.se.debian.org sid/main libglib2.0-0 2.22.4-1 [993kB]
Get:11 http://ftp.se.debian.org sid/main libcroco3 0.6.2-1 [128kB]
Get:12 http://ftp.se.debian.org sid/main gettext 0.17-8 [2519kB]
Get:13 http://ftp.se.debian.org sid/main intltool-debian 0.35.0+20060710.1 [30.8kB]
Get:14 http://ftp.se.debian.org sid/main po-debconf 1.0.16 [224kB]
Get:15 http://ftp.se.debian.org sid/main debhelper 7.4.13 [455kB]
Get:16 http://ftp.se.debian.org sid/main libgmpxx4ldbl 2:4.3.2+dfsg-1 [19.2kB]
Get:17 http://ftp.se.debian.org sid/main libgmp3-dev 2:4.3.2+dfsg-1 [627kB]
Get:18 http://ftp.se.debian.org sid/main libffi5 3.0.9-1 [20.6kB]
Get:19 http://ftp.se.debian.org sid/main libffi-dev 3.0.9-1 [106kB]
Get:20 http://ftp.se.debian.org sid/main ghc6 6.10.4-1 [38.6MB]
Get:21 http://ftp.se.debian.org sid/main libghc6-binary-dev 0.5.0.1-1+b2 [267kB]
Get:22 http://ftp.se.debian.org sid/main libghc6-mtl-dev 1.1.0.2-7+b2 [245kB]
Get:23 http://ftp.se.debian.org sid/main libncurses5-dev 5.7+20090803-2 [1590kB]
Get:24 http://ftp.se.debian.org sid/main libghc6-terminfo-dev 0.3.0.2-2+b1 [84.1kB]
Get:25 http://ftp.se.debian.org sid/main libghc6-utf8-string-dev 0.3.6-1 [168kB]
Get:26 http://ftp.se.debian.org sid/main libghc6-haskeline-dev 0.6.1.6-1+b3 [822kB]
Get:27 http://ftp.se.debian.org sid/main libghc6-haskell-src-dev 1.0.1.3-1+b3 [1284kB]
Get:28 http://ftp.se.debian.org sid/main libghc6-xhtml-dev 3000.2.0.1-5+b2 [265kB]
Get:29 http://ftp.se.debian.org sid/main zlib1g-dev 1:1.2.3.4.dfsg-3 [190kB]
Get:30 http://ftp.se.debian.org sid/main agda-bin 2.2.6-1+b1 [3002kB]
Get:31 http://ftp.se.debian.org sid/main libghc6-quickcheck2-dev 2.1.0.2-1 [501kB]
Get:32 http://ftp.se.debian.org sid/main libghc6-zlib-dev 0.5.2.0-1+b1 [90.2kB]
Get:33 http://ftp.se.debian.org sid/main libghc6-agda-dev 2.2.6-2 [13.2MB]
Get:34 http://ftp.se.debian.org sid/main libghc6-filemanip-dev 0.3.2-1 [135kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 69.9MB in 9s (7392kB/s)
Selecting previously deselected package bsdmainutils.
(Reading database ... 9965 files and directories currently installed.)
Unpacking bsdmainutils (from .../bsdmainutils_8.0.6_powerpc.deb) ...
Selecting previously deselected package groff-base.
Unpacking groff-base (from .../groff-base_1.20.1-6_powerpc.deb) ...
Selecting previously deselected package man-db.
Unpacking man-db (from .../man-db_2.5.6-5_powerpc.deb) ...
Selecting previously deselected package libmagic1.
Unpacking libmagic1 (from .../libmagic1_5.04-1_powerpc.deb) ...
Selecting previously deselected package file.
Unpacking file (from .../file_5.04-1_powerpc.deb) ...
Selecting previously deselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.17-8_powerpc.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_powerpc.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-2+b1_powerpc.deb) ...
Selecting previously deselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-14_powerpc.deb) ...
Selecting previously deselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.22.4-1_powerpc.deb) ...
Selecting previously deselected package libcroco3.
Unpacking libcroco3 (from .../libcroco3_0.6.2-1_powerpc.deb) ...
Selecting previously deselected package gettext.
Unpacking gettext (from .../gettext_0.17-8_powerpc.deb) ...
Selecting previously deselected package intltool-debian.
Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ...
Selecting previously deselected package po-debconf.
Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ...
Selecting previously deselected package debhelper.
Unpacking debhelper (from .../debhelper_7.4.13_all.deb) ...
Selecting previously deselected package libgmpxx4ldbl.
Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1_powerpc.deb) ...
Selecting previously deselected package libgmp3-dev.
Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1_powerpc.deb) ...
Selecting previously deselected package libffi5.
Unpacking libffi5 (from .../libffi5_3.0.9-1_powerpc.deb) ...
Selecting previously deselected package libffi-dev.
Unpacking libffi-dev (from .../libffi-dev_3.0.9-1_powerpc.deb) ...
Selecting previously deselected package ghc6.
Unpacking ghc6 (from .../ghc6_6.10.4-1_powerpc.deb) ...
Selecting previously deselected package libghc6-binary-dev.
Unpacking libghc6-binary-dev (from .../libghc6-binary-dev_0.5.0.1-1+b2_powerpc.deb) ...
Selecting previously deselected package libghc6-mtl-dev.
Unpacking libghc6-mtl-dev (from .../libghc6-mtl-dev_1.1.0.2-7+b2_powerpc.deb) ...
Selecting previously deselected package libncurses5-dev.
Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20090803-2_powerpc.deb) ...
Selecting previously deselected package libghc6-terminfo-dev.
Unpacking libghc6-terminfo-dev (from .../libghc6-terminfo-dev_0.3.0.2-2+b1_powerpc.deb) ...
Selecting previously deselected package libghc6-utf8-string-dev.
Unpacking libghc6-utf8-string-dev (from .../libghc6-utf8-string-dev_0.3.6-1_powerpc.deb) ...
Selecting previously deselected package libghc6-haskeline-dev.
Unpacking libghc6-haskeline-dev (from .../libghc6-haskeline-dev_0.6.1.6-1+b3_powerpc.deb) ...
Selecting previously deselected package libghc6-haskell-src-dev.
Unpacking libghc6-haskell-src-dev (from .../libghc6-haskell-src-dev_1.0.1.3-1+b3_powerpc.deb) ...
Selecting previously deselected package libghc6-xhtml-dev.
Unpacking libghc6-xhtml-dev (from .../libghc6-xhtml-dev_3000.2.0.1-5+b2_powerpc.deb) ...
Selecting previously deselected package zlib1g-dev.
Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_powerpc.deb) ...
Selecting previously deselected package agda-bin.
Unpacking agda-bin (from .../agda-bin_2.2.6-1+b1_powerpc.deb) ...
Selecting previously deselected package libghc6-quickcheck2-dev.
Unpacking libghc6-quickcheck2-dev (from .../libghc6-quickcheck2-dev_2.1.0.2-1_powerpc.deb) ...
Selecting previously deselected package libghc6-zlib-dev.
Unpacking libghc6-zlib-dev (from .../libghc6-zlib-dev_0.5.2.0-1+b1_powerpc.deb) ...
Selecting previously deselected package libghc6-agda-dev.
Unpacking libghc6-agda-dev (from .../libghc6-agda-dev_2.2.6-2_powerpc.deb) ...
Selecting previously deselected package libghc6-filemanip-dev.
Unpacking libghc6-filemanip-dev (from .../libghc6-filemanip-dev_0.3.2-1_powerpc.deb) ...
Setting up bsdmainutils (8.0.6) ...
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.20.1-6) ...
Setting up man-db (2.5.6-5) ...
Building database of manual pages ...
Setting up libmagic1 (5.04-1) ...
Setting up file (5.04-1) ...
Setting up gettext-base (0.17-8) ...
Setting up libpcre3 (7.8-3) ...
Setting up libxml2 (2.7.6.dfsg-2+b1) ...
Setting up html2text (1.3.2a-14) ...
Setting up libglib2.0-0 (2.22.4-1) ...
Setting up libcroco3 (0.6.2-1) ...
Setting up gettext (0.17-8) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16) ...
Setting up debhelper (7.4.13) ...
Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1) ...
Setting up libgmp3-dev (2:4.3.2+dfsg-1) ...
Setting up libffi5 (3.0.9-1) ...
Setting up libffi-dev (3.0.9-1) ...
Setting up ghc6 (6.10.4-1) ...
update-alternatives: using /usr/bin/ghc6 to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode.
update-alternatives: using /usr/lib/ghc-6.10.4/bin/ghc to provide /usr/bin/ghc (ghc) in auto mode.
Setting up libghc6-binary-dev (0.5.0.1-1+b2) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/binary-0.5.0.1/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-mtl-dev (1.1.0.2-7+b2) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/mtl-1.1.0.2/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libncurses5-dev (5.7+20090803-2) ...
Setting up libghc6-terminfo-dev (0.3.0.2-2+b1) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/terminfo-0.3.0.2/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-utf8-string-dev (0.3.6-1) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/utf8-string-0.3.6/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-haskeline-dev (0.6.1.6-1+b3) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/haskeline-0.6.1.6/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-haskell-src-dev (1.0.1.3-1+b3) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/haskell-src-1.0.1.3/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-xhtml-dev (3000.2.0.1-5+b2) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/xhtml-3000.2.0.1/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up zlib1g-dev (1:1.2.3.4.dfsg-3) ...
Setting up agda-bin (2.2.6-1+b1) ...
Setting up libghc6-quickcheck2-dev (2.1.0.2-1) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/QuickCheck-2.1.0.2/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-zlib-dev (0.5.2.0-1+b1) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/zlib-0.5.2.0/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-agda-dev (2.2.6-2) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/Agda-2.2.6/installed-pkg-config" ... done.
Writing new package config file... done.
Setting up libghc6-filemanip-dev (0.3.2-1) ...
Reading package info from "/usr/lib/haskell-packages/ghc6/lib/FileManip-0.3.2/installed-pkg-config" ... done.
Writing new package config file... done.
Removing negative dependencies:
Checking correctness of source dependencies...
Kernel: Linux 2.6.26-2-powerpc64 powerpc (ppc64)
Toolchain package versions: libc6-dev_2.10.2-5 dpkg-dev_1.15.5.6 linux-libc-dev_2.6.32-5 g++-4.4_4.4.3-1 gcc-4.4_4.4.3-1 binutils_2.20-5 libstdc++6_4.4.3-1 libstdc++6-4.4-dev_4.4.3-1
Package versions: agda-bin_2.2.6-1+b1 apt_0.7.25.2 base-files_5.1 base-passwd_3.5.22 bash_4.1-1 binutils_2.20-5 bsdmainutils_8.0.6 bsdutils_1:2.16.2-0 build-essential_11.4 bzip2_1.0.5-4 coreutils_8.4-1 cpp_4:4.4.2-3 cpp-4.4_4.4.3-1 dash_0.5.5.1-3 debconf_1.5.28 debconf-i18n_1.5.28 debfoster_2.7-1.1 debhelper_7.4.13 debian-archive-keyring_2009.01.31 debianutils_3.2.2 diffutils_1:2.8.1-18 dpkg_1.15.5.6 dpkg-dev_1.15.5.6 e2fslibs_1.41.9-1 e2fsprogs_1.41.9-1 fakeroot_1.14.4-1 file_5.04-1 findutils_4.4.2-1 g++_4:4.4.2-3 g++-4.4_4.4.3-1 gcc_4:4.4.2-3 gcc-4.4_4.4.3-1 gcc-4.4-base_4.4.3-1 gettext_0.17-8 gettext-base_0.17-8 ghc6_6.10.4-1 gnupg_1.4.10-2 gpgv_1.4.10-2 grep_2.5.4-4 groff-base_1.20.1-6 gzip_1.3.12-9 hostname_3.03 html2text_1.3.2a-14 initscripts_2.87dsf-8 insserv_1.12.0-14 intltool-debian_0.35.0+20060710.1 libacl1_2.2.49-1 libattr1_1:2.4.44-1 libblkid1_2.16.2-0 libbz2-1.0_1.0.5-4 libc-bin_2.10.2-5 libc-dev-bin_2.10.2-5 libc6_2.10.2-5 libc6-dev_2.10.2-5 libcomerr2_1.41.9-1 libcroco3_0.6.2-1 libdb4.7_4.7.25-9 libffi-dev_3.0.9-1 libffi5_3.0.9-1 libgc1c2_1:6.8-1.2 libgcc1_1:4.4.3-1 libgdbm3_1.8.3-9 libghc6-agda-dev_2.2.6-2 libghc6-binary-dev_0.5.0.1-1+b2 libghc6-filemanip-dev_0.3.2-1 libghc6-haskeline-dev_0.6.1.6-1+b3 libghc6-haskell-src-dev_1.0.1.3-1+b3 libghc6-mtl-dev_1.1.0.2-7+b2 libghc6-quickcheck2-dev_2.1.0.2-1 libghc6-terminfo-dev_0.3.0.2-2+b1 libghc6-utf8-string-dev_0.3.6-1 libghc6-xhtml-dev_3000.2.0.1-5+b2 libghc6-zlib-dev_0.5.2.0-1+b1 libglib2.0-0_2.22.4-1 libgmp3-dev_2:4.3.2+dfsg-1 libgmp3c2_2:4.3.2+dfsg-1 libgmpxx4ldbl_2:4.3.2+dfsg-1 libgomp1_4.4.3-1 liblocale-gettext-perl_1.05-6 liblzma2_4.999.9beta+20100117-1 libmagic1_5.04-1 libmpfr1ldbl_2.4.2-3 libncurses5_5.7+20090803-2 libncurses5-dev_5.7+20090803-2 libpam-modules_1.1.0-4 libpam-runtime_1.1.1-1 libpam0g_1.1.0-4 libpcre3_7.8-3 libreadline6_6.1-1 libselinux1_2.0.89-4 libsepol1_2.0.40-2 libss2_1.41.9-1 libstdc++6_4.4.3-1 libstdc++6-4.4-dev_4.4.3-1 libtext-charwidth-perl_0.04-6+b1 libtext-iconv-perl_1.7-2 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_1.2000-1 libusb-0.1-4_2:0.1.12-14 libuuid1_2.16.2-0 libxml2_2.7.6.dfsg-2+b1 linux-libc-dev_2.6.32-5 login_1:4.1.4.2-1 lsb-base_3.2-23 lzma_4.43-14 make_3.81-7 man-db_2.5.6-5 mawk_1.3.3-15 mount_2.16.2-0 ncurses-base_5.7+20090803-2 ncurses-bin_5.7+20090803-2 passwd_1:4.1.4.2-1 patch_2.6-2 perl_5.10.1-9 perl-base_5.10.1-9 perl-modules_5.10.1-9 po-debconf_1.0.16 readline-common_6.1-1 sed_4.2.1-6 sensible-utils_0.0.2 sudo_1.7.2p1-1 sysv-rc_2.87dsf-8 sysvinit_2.87dsf-8 sysvinit-utils_2.87dsf-8 tar_1.22-2 tzdata_2010b-1 util-linux_2.16.2-0 xz-utils_4.999.9beta+20100117-1 zlib1g_1:1.2.3.4.dfsg-3 zlib1g-dev_1:1.2.3.4.dfsg-3
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/home/buildd/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Tue Feb 2 22:14:41 2010 UTC using RSA key ID 0E1FAD0C
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./agda-stdlib_0.3-1.dsc
dpkg-source: info: extracting agda-stdlib in agda-stdlib-0.3
dpkg-source: info: unpacking agda-stdlib_0.3.orig.tar.gz
dpkg-source: info: applying agda-stdlib_0.3-1.diff.gz
Check disc space
────────────────
dpkg-buildpackage
─────────────────
dpkg-buildpackage: set CFLAGS to default value: -g -O2
dpkg-buildpackage: set CPPFLAGS to default value:
dpkg-buildpackage: set LDFLAGS to default value:
dpkg-buildpackage: set FFLAGS to default value: -g -O2
dpkg-buildpackage: set CXXFLAGS to default value: -g -O2
dpkg-buildpackage: source package agda-stdlib
dpkg-buildpackage: source version 0.3-1
dpkg-buildpackage: host architecture powerpc
/usr/bin/fakeroot debian/rules clean
dh clean
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
find /build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3 -name "*.agdai" -delete
rm -rf /build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3/html
dh_auto_clean
make[1]: Leaving directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
dh_clean
debian/rules build
dh build
dh_testdir
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
dh_auto_build
make[2]: Entering directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
runhaskell GenerateEverything.hs
make[2]: runhaskell: Command not found
make[2]: *** [Everything.agda] Error 127
make[2]: Leaving directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
dh_auto_build: make -j1 returned exit code 2
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory `/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO/agda-stdlib-0.3'
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
────────────────────────────────────────────────────────────────────────────────
Build finished at 20100207-0850
FAILED [dpkg-buildpackage died]
────────────────────────────────────────────────────────────────────────────────
Purging /var/lib/schroot/mount/sid-powerpc-sbuild-061edc9d-9edb-48d1-95b8-9fb8fb1643c3/build/buildd-agda-stdlib_0.3-1-powerpc-ryoGLO
Not removing build depends: cloned chroot in use
────────────────────────────────────────────────────────────────────────────────
Finished at 20100207-0850
Build needed 00:01:58, 1260k disc space