Package: debhelper
Version: 7.4.13
Severity: important
Hiya,
I'm trying to build a package with the rules file at [0]. The important
part of this is that I have defined a binary-indep target, mandatory
according to policy, which builds the architecture-independent
documentation. When building this using both sbuild and pbuilder, the
package FTBFS due to the binary-indep rule not being invoked. I have
attached a buildlog for you to look at. You can see "dh binary" being
called, but the binary-indep target is never invoked.
I would expect that it should be possible to selectively override these
entire targets in a DH7 style short rules file. Is it reasonable and
possible for this to be done?
Thanks,
Iain
[0]
http://git.debian.org/?p=collab-maint/agda-stdlib.git;a=blob;f=debian/rules;h=a21f6b0802358d0ec5ec8345e18860ceed65f73b;hb=refs/heads/indep
-- System Information:
Debian Release: squeeze/sid
APT prefers lucid-updates
APT policy: (500, 'lucid-updates'), (500, 'lucid-security'), (500, 'lucid')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.32-12-generic (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8) (ignored: LC_ALL
set to en_GB.UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages debhelper depends on:
ii binutils 2.20-6ubuntu1 The GNU assembler, linker and bina
ii dpkg-dev 1.15.4.1ubuntu1 Debian package development tools
ii file 5.03-5 Determines file type using "magic"
ii html2text 1.3.2a-14 advanced HTML to text converter
ii man-db 2.5.6-5 on-line manual pager
ii perl 5.10.1-8ubuntu1 Larry Wall's Practical Extraction
ii perl-base 5.10.1-8ubuntu1 minimal Perl system
ii po-debconf 1.0.16 tool for managing templates file t
debhelper recommends no packages.
Versions of packages debhelper suggests:
pn dh-make <none> (no description available)
-- no debconf information
I: using fakeroot in build.
I: Current time: Wed Feb 10 17:39:13 GMT 2010
I: pbuilder-time-stamp: 1265823553
I: Building the build Environment
I: extracting base tarball [/home/laney/pbuilder/sid-base.tgz]
I: creating local configuration
I: copying local configuration
I: Installing apt-lines
I: mounting /proc filesystem
I: mounting /dev/pts filesystem
I: policy-rc.d already exists
I: Obtaining the cached apt archive contents
I: Installing the build-deps
W: no hooks of type D found -- ignoring
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: amd64
Maintainer: Debian Pbuilder Team <pbuilder-ma...@lists.alioth.debian.org>
Description: Dummy package to satisfy dependencies with aptitude - created by
pbuilder
This package was created automatically by pbuilder and should
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~)
dpkg-deb: building package `pbuilder-satisfydepends-dummy' in
`/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'.
Reading package lists...
Building dependency tree...
Reading state information...
aptitude is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Selecting previously deselected package pbuilder-satisfydepends-dummy.
(Reading database ... 11009 files and directories currently installed.)
Unpacking pbuilder-satisfydepends-dummy (from
.../pbuilder-satisfydepends-dummy.deb) ...
dpkg: dependency problems prevent configuration of
pbuilder-satisfydepends-dummy:
pbuilder-satisfydepends-dummy depends on debhelper (>= 7.0.50~); however:
Package debhelper is not installed.
pbuilder-satisfydepends-dummy depends on agda-bin (>= 2.2.6); however:
Package agda-bin is not installed.
pbuilder-satisfydepends-dummy depends on agda-bin (<< 2.2.6.1~); however:
Package agda-bin is not installed.
pbuilder-satisfydepends-dummy depends on libghc6-agda-dev (>= 2.2.6); however:
Package libghc6-agda-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc6-agda-dev (<< 2.2.6.1~);
however:
Package libghc6-agda-dev is not installed.
dpkg: error processing pbuilder-satisfydepends-dummy (--install):
dependency problems - leaving unconfigured
Errors were encountered while processing:
pbuilder-satisfydepends-dummy
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
The following NEW packages will be installed:
agda-bin{a} bsdmainutils{a} debhelper{a} file{a} gettext{a}
gettext-base{a} ghc6{a} groff-base{a} html2text{a} intltool-debian{a}
libcroco3{a} libffi-dev{a} libffi5{a} libghc6-agda-dev{a}
libghc6-binary-dev{a} libghc6-haskeline-dev{a} libghc6-haskell-src-dev{a}
libghc6-mtl-dev{a} libghc6-quickcheck2-dev{a} libghc6-terminfo-dev{a}
libghc6-utf8-string-dev{a} libghc6-xhtml-dev{a} libghc6-zlib-dev{a}
libglib2.0-0{a} libgmp3-dev{a} libgmpxx4ldbl{a} libmagic1{a}
libncurses5-dev{a} libpcre3{a} libxml2{a} man-db{a} po-debconf{a}
zlib1g-dev{a}
The following partially installed packages will be configured:
pbuilder-satisfydepends-dummy
0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded.
Need to get 12.5MB/62.3MB of archives. After unpacking 352MB will be used.
Writing extended state information...
Get:1 ftp://ftp.debian.org sid/main man-db 2.5.6-5 [1492kB]
Get:2 ftp://ftp.debian.org sid/main libffi5 3.0.9-1 [19.9kB]
Get:3 ftp://ftp.debian.org sid/main libgmpxx4ldbl 2:4.3.2+dfsg-1 [18.8kB]
Get:4 ftp://ftp.debian.org sid/main libgmp3-dev 2:4.3.2+dfsg-1 [667kB]
Get:5 ftp://ftp.debian.org sid/main libffi-dev 3.0.9-1 [102kB]
Get:6 ftp://ftp.debian.org sid/main libghc6-quickcheck2-dev 2.1.0.2-1 [427kB]
Get:7 ftp://ftp.debian.org sid/main libghc6-agda-dev 2.2.6-2 [9821kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 12.5MB in 20s (619kB/s)
Selecting previously deselected package libmagic1.
(Reading database ... 11009 files and directories currently installed.)
Unpacking libmagic1 (from .../libmagic1_5.04-1_amd64.deb) ...
Selecting previously deselected package file.
Unpacking file (from .../archives/file_5.04-1_amd64.deb) ...
Selecting previously deselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-14_amd64.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
Selecting previously deselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.22.4-1_amd64.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-2+b1_amd64.deb) ...
Selecting previously deselected package libcroco3.
Unpacking libcroco3 (from .../libcroco3_0.6.2-1_amd64.deb) ...
Selecting previously deselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.17-8_amd64.deb) ...
Selecting previously deselected package gettext.
Unpacking gettext (from .../gettext_0.17-8_amd64.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 groff-base.
Unpacking groff-base (from .../groff-base_1.20.1-6_amd64.deb) ...
Selecting previously deselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_8.0.6_amd64.deb) ...
Selecting previously deselected package man-db.
Unpacking man-db (from .../man-db_2.5.6-5_amd64.deb) ...
Selecting previously deselected package debhelper.
Unpacking debhelper (from .../debhelper_7.4.13_all.deb) ...
Selecting previously deselected package libffi5.
Unpacking libffi5 (from .../libffi5_3.0.9-1_amd64.deb) ...
Selecting previously deselected package agda-bin.
Unpacking agda-bin (from .../agda-bin_2.2.6-1+b1_amd64.deb) ...
Selecting previously deselected package libgmpxx4ldbl.
Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1_amd64.deb) ...
Selecting previously deselected package libgmp3-dev.
Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1_amd64.deb) ...
Selecting previously deselected package libffi-dev.
Unpacking libffi-dev (from .../libffi-dev_3.0.9-1_amd64.deb) ...
Selecting previously deselected package ghc6.
Unpacking ghc6 (from .../ghc6_6.10.4-1_amd64.deb) ...
Selecting previously deselected package libghc6-binary-dev.
Unpacking libghc6-binary-dev (from
.../libghc6-binary-dev_0.5.0.1-1+b1_amd64.deb) ...
Selecting previously deselected package libghc6-mtl-dev.
Unpacking libghc6-mtl-dev (from .../libghc6-mtl-dev_1.1.0.2-7+b1_amd64.deb) ...
Selecting previously deselected package libncurses5-dev.
Unpacking libncurses5-dev (from .../libncurses5-dev_5.7+20090803-2_amd64.deb)
...
Selecting previously deselected package libghc6-terminfo-dev.
Unpacking libghc6-terminfo-dev (from
.../libghc6-terminfo-dev_0.3.0.2-2+b1_amd64.deb) ...
Selecting previously deselected package libghc6-utf8-string-dev.
Unpacking libghc6-utf8-string-dev (from
.../libghc6-utf8-string-dev_0.3.6-1_amd64.deb) ...
Selecting previously deselected package libghc6-haskeline-dev.
Unpacking libghc6-haskeline-dev (from
.../libghc6-haskeline-dev_0.6.1.6-1+b3_amd64.deb) ...
Selecting previously deselected package libghc6-haskell-src-dev.
Unpacking libghc6-haskell-src-dev (from
.../libghc6-haskell-src-dev_1.0.1.3-1+b2_amd64.deb) ...
Selecting previously deselected package libghc6-quickcheck2-dev.
Unpacking libghc6-quickcheck2-dev (from
.../libghc6-quickcheck2-dev_2.1.0.2-1_amd64.deb) ...
Selecting previously deselected package libghc6-xhtml-dev.
Unpacking libghc6-xhtml-dev (from
.../libghc6-xhtml-dev_3000.2.0.1-5+b2_amd64.deb) ...
Selecting previously deselected package zlib1g-dev.
Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3_amd64.deb) ...
Selecting previously deselected package libghc6-zlib-dev.
Unpacking libghc6-zlib-dev (from .../libghc6-zlib-dev_0.5.2.0-1_amd64.deb) ...
Selecting previously deselected package libghc6-agda-dev.
Unpacking libghc6-agda-dev (from .../libghc6-agda-dev_2.2.6-2_amd64.deb) ...
Setting up libmagic1 (5.04-1) ...
Setting up file (5.04-1) ...
Setting up html2text (1.3.2a-14) ...
Setting up libpcre3 (7.8-3) ...
Setting up libglib2.0-0 (2.22.4-1) ...
Setting up libxml2 (2.7.6.dfsg-2+b1) ...
Setting up libcroco3 (0.6.2-1) ...
Setting up gettext-base (0.17-8) ...
Setting up gettext (0.17-8) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16) ...
Setting up groff-base (1.20.1-6) ...
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 man-db (2.5.6-5) ...
Building database of manual pages ...
Setting up debhelper (7.4.13) ...
Setting up libffi5 (3.0.9-1) ...
Setting up agda-bin (2.2.6-1+b1) ...
Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1) ...
Setting up libgmp3-dev (2:4.3.2+dfsg-1) ...
Setting up libffi-dev (3.0.9-1) ...
Setting up ghc6 (6.10.4-1) ...
update-alternatives: using /usr/bin/runghc6 to provide /usr/bin/runhaskell
(runhaskell) in auto mode.
update-alternatives: warning: skip creation of
/usr/share/man/man1/runhaskell.1.gz because associated file
/usr/share/man/man1/runghc6.1.gz (of link group runhaskell) doesn't exist.
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.
update-alternatives: warning: skip creation of /usr/share/man/man1/runghc.1.gz
because associated file /usr/share/man/man1/runghc6.1.gz (of link group ghc)
doesn't exist.
Setting up libghc6-binary-dev (0.5.0.1-1+b1) ...
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+b1) ...
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+b2) ...
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-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-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 libghc6-zlib-dev (0.5.2.0-1) ...
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 pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Reading extended state information...
Initializing package states...
Writing extended state information...
-> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
aptitude is already the newest version.
The following NEW packages will be installed:
fakeroot
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded.
Need to get 0B/100kB of archives.
After this operation, 385kB of additional disk space will be used.
Selecting previously deselected package fakeroot.
(Reading database ... 14854 files and directories currently installed.)
Unpacking fakeroot (from .../fakeroot_1.14.4-1_amd64.deb) ...
Processing triggers for man-db ...
Setting up fakeroot (1.14.4-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot
(fakeroot) in auto mode.
I: Copying back the cached apt archive contents
I: Copying source file
I: copying [../build-area/agda-stdlib_0.3-2.dsc]
I: copying [../build-area/agda-stdlib_0.3.orig.tar.gz]
I: copying [../build-area/agda-stdlib_0.3-2.diff.gz]
I: Extracting source
gpgv: keyblock resource `/tmp/buildd/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Wed Feb 10 17:37:07 2010 GMT using DSA key ID 20BFCDC7
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./agda-stdlib_0.3-2.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-2.diff.gz
I: Building the package
W: no hooks of type A found -- ignoring
I: Running cd tmp/buildd/*/ && dpkg-buildpackage -us -uc -rfakeroot
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-2
dpkg-buildpackage: source changed by Iain Lane <la...@ubuntu.com>
dpkg-buildpackage: host architecture amd64
fakeroot debian/rules clean
dh clean
dh_testdir
debian/rules override_dh_auto_clean
make[1]: Entering directory `/tmp/buildd/agda-stdlib-0.3'
find /tmp/buildd/agda-stdlib-0.3 -name "*.agdai" -delete
rm -rf /tmp/buildd/agda-stdlib-0.3/html
dh_auto_clean
make[1]: Leaving directory `/tmp/buildd/agda-stdlib-0.3'
dh_clean
dpkg-source -b agda-stdlib-0.3
dpkg-source: info: using source format `1.0'
dpkg-source: info: building agda-stdlib using existing
agda-stdlib_0.3.orig.tar.gz
dpkg-source: info: building agda-stdlib in agda-stdlib_0.3-2.diff.gz
dpkg-source: info: building agda-stdlib in agda-stdlib_0.3-2.dsc
debian/rules build
dh build
dh_testdir
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory `/tmp/buildd/agda-stdlib-0.3'
agda -i /tmp/buildd/agda-stdlib-0.3 -i /tmp/buildd/agda-stdlib-0.3/src
/tmp/buildd/agda-stdlib-0.3/Everything.agda
Checking Everything (/tmp/buildd/agda-stdlib-0.3/Everything.agda).
Checking Algebra (/tmp/buildd/agda-stdlib-0.3/src/Algebra.agda).
Checking Relation.Binary (/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary.agda).
Checking Data.Product (/tmp/buildd/agda-stdlib-0.3/src/Data/Product.agda).
Checking Data.Function (/tmp/buildd/agda-stdlib-0.3/src/Data/Function.agda).
Checking Level (/tmp/buildd/agda-stdlib-0.3/src/Level.agda).
Checking Relation.Nullary.Core
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Core.agda).
Checking Data.Empty (/tmp/buildd/agda-stdlib-0.3/src/Data/Empty.agda).
Checking Data.Sum (/tmp/buildd/agda-stdlib-0.3/src/Data/Sum.agda).
Checking Data.Maybe.Core (/tmp/buildd/agda-stdlib-0.3/src/Data/Maybe/Core.agda).
Checking Relation.Binary.PropositionalEquality.Core
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/Core.agda).
Checking Relation.Binary.Core
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Core.agda).
Checking Relation.Binary.Consequences.Core
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences/Core.agda).
Checking Relation.Binary.Consequences
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences.agda).
Checking Algebra.FunctionProperties
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties.agda).
Checking Algebra.FunctionProperties.Core
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties/Core.agda).
Checking Algebra.Structures
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Structures.agda).
Checking Relation.Binary.EqReasoning
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/EqReasoning.agda).
Checking Relation.Binary.PreorderReasoning
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/PreorderReasoning.agda).
Checking Algebra.Morphism
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Morphism.agda).
Checking Algebra.Props.Group
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/Group.agda).
Checking Algebra.Operations
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Operations.agda).
Checking Data.Nat (/tmp/buildd/agda-stdlib-0.3/src/Data/Nat.agda).
Checking Data.Function.Equality
(/tmp/buildd/agda-stdlib-0.3/src/Data/Function/Equality.agda).
Checking Data.Function.Injection
(/tmp/buildd/agda-stdlib-0.3/src/Data/Function/Injection.agda).
Checking Relation.Nullary
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary.agda).
Checking Relation.Binary.PropositionalEquality
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality.agda).
Checking Relation.Binary.PartialOrderReasoning
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/PartialOrderReasoning.agda).
Checking Algebra.Props.AbelianGroup
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/AbelianGroup.agda).
Checking Algebra.Props.BooleanAlgebra
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/BooleanAlgebra.agda).
Checking Algebra.Props.DistributiveLattice
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/DistributiveLattice.agda).
Checking Algebra.Props.Lattice
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/Lattice.agda).
Checking Algebra.Props.Ring
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/Props/Ring.agda).
Checking Algebra.RingSolver
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/RingSolver.agda).
Checking Algebra.RingSolver.AlmostCommutativeRing
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/AlmostCommutativeRing.agda).
Checking Algebra.RingSolver.Lemmas
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Lemmas.agda).
Checking Relation.Binary.Reflection
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Reflection.agda).
Checking Data.Fin (/tmp/buildd/agda-stdlib-0.3/src/Data/Fin.agda).
Checking Relation.Nullary.Decidable
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Decidable.agda).
Checking Data.Bool (/tmp/buildd/agda-stdlib-0.3/src/Data/Bool.agda).
Checking Data.Unit (/tmp/buildd/agda-stdlib-0.3/src/Data/Unit.agda).
Checking Data.Vec (/tmp/buildd/agda-stdlib-0.3/src/Data/Vec.agda).
Checking Data.List (/tmp/buildd/agda-stdlib-0.3/src/Data/List.agda).
Checking Data.Maybe (/tmp/buildd/agda-stdlib-0.3/src/Data/Maybe.agda).
Checking Category.Functor
(/tmp/buildd/agda-stdlib-0.3/src/Category/Functor.agda).
Checking Category.Monad (/tmp/buildd/agda-stdlib-0.3/src/Category/Monad.agda).
Checking Category.Monad.Indexed
(/tmp/buildd/agda-stdlib-0.3/src/Category/Monad/Indexed.agda).
Checking Category.Applicative.Indexed
(/tmp/buildd/agda-stdlib-0.3/src/Category/Applicative/Indexed.agda).
Checking Category.Monad.Identity
(/tmp/buildd/agda-stdlib-0.3/src/Category/Monad/Identity.agda).
Checking Data.Vec.N-ary (/tmp/buildd/agda-stdlib-0.3/src/Data/Vec/N-ary.agda).
Checking Algebra.RingSolver.Simple
(/tmp/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Simple.agda).
Checking Category.Applicative
(/tmp/buildd/agda-stdlib-0.3/src/Category/Applicative.agda).
Checking Category.Monad.Continuation
(/tmp/buildd/agda-stdlib-0.3/src/Category/Monad/Continuation.agda).
Checking Category.Monad.Partiality
(/tmp/buildd/agda-stdlib-0.3/src/Category/Monad/Partiality.agda).
Checking Coinduction (/tmp/buildd/agda-stdlib-0.3/src/Coinduction.agda).
Checking Category.Monad.State
(/tmp/buildd/agda-stdlib-0.3/src/Category/Monad/State.agda).
Checking Data.AVL (/tmp/buildd/agda-stdlib-0.3/src/Data/AVL.agda).
Checking Data.DifferenceList
(/tmp/buildd/agda-stdlib-0.3/src/Data/DifferenceList.agda).
Checking Data.AVL.IndexedMap
(/tmp/buildd/agda-stdlib-0.3/src/Data/AVL/IndexedMap.agda).
Checking Data.AVL.Sets (/tmp/buildd/agda-stdlib-0.3/src/Data/AVL/Sets.agda).
Checking Data.Bin (/tmp/buildd/agda-stdlib-0.3/src/Data/Bin.agda).
Checking Data.Nat.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/Properties.agda).
Checking Data.Digit (/tmp/buildd/agda-stdlib-0.3/src/Data/Digit.agda).
Checking Data.Char (/tmp/buildd/agda-stdlib-0.3/src/Data/Char.agda).
Checking Induction.Nat (/tmp/buildd/agda-stdlib-0.3/src/Induction/Nat.agda).
Checking Data.Fin.Props (/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Props.agda).
Checking Induction (/tmp/buildd/agda-stdlib-0.3/src/Induction.agda).
Checking Relation.Unary (/tmp/buildd/agda-stdlib-0.3/src/Relation/Unary.agda).
Checking Induction.WellFounded
(/tmp/buildd/agda-stdlib-0.3/src/Induction/WellFounded.agda).
Checking Data.Nat.DivMod (/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/DivMod.agda).
Checking Data.Bool.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Bool/Properties.agda).
Checking Data.Bool.Show (/tmp/buildd/agda-stdlib-0.3/src/Data/Bool/Show.agda).
Checking Data.String (/tmp/buildd/agda-stdlib-0.3/src/Data/String.agda).
Checking Data.Colist (/tmp/buildd/agda-stdlib-0.3/src/Data/Colist.agda).
Checking Data.Conat (/tmp/buildd/agda-stdlib-0.3/src/Data/Conat.agda).
Checking Data.List.NonEmpty
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty.agda).
Checking Data.BoundedVec.Inefficient
(/tmp/buildd/agda-stdlib-0.3/src/Data/BoundedVec/Inefficient.agda).
Checking Relation.Binary.InducedPreorders
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/InducedPreorders.agda).
Checking Relation.Nullary.Negation
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Negation.agda).
Checking Data.Fin.Dec (/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Dec.agda).
Checking Data.Fin.Subset (/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Subset.agda).
Checking Data.Fin.Subset.Props
(/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Subset/Props.agda).
Checking Relation.Binary.PropositionalEquality.TrustMe
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/TrustMe.agda).
Checking Data.BoundedVec (/tmp/buildd/agda-stdlib-0.3/src/Data/BoundedVec.agda).
Checking Data.Cofin (/tmp/buildd/agda-stdlib-0.3/src/Data/Cofin.agda).
Checking Data.Covec (/tmp/buildd/agda-stdlib-0.3/src/Data/Covec.agda).
Checking Data.DifferenceNat
(/tmp/buildd/agda-stdlib-0.3/src/Data/DifferenceNat.agda).
Checking Data.DifferenceVec
(/tmp/buildd/agda-stdlib-0.3/src/Data/DifferenceVec.agda).
Checking Data.Fin.Substitution
(/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution.agda).
Checking Data.Star (/tmp/buildd/agda-stdlib-0.3/src/Data/Star.agda).
Checking Data.Fin.Substitution.Example
(/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Example.agda).
Checking Data.Fin.Substitution.Lemmas
(/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Lemmas.agda).
Checking Data.Vec.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Vec/Properties.agda).
Checking Data.Vec.Equality
(/tmp/buildd/agda-stdlib-0.3/src/Data/Vec/Equality.agda).
Checking Relation.Binary.HeterogeneousEquality
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/HeterogeneousEquality.agda).
Checking Data.Fin.Substitution.List
(/tmp/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/List.agda).
Checking Data.List.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/Properties.agda).
Checking Data.Function.LeftInverse
(/tmp/buildd/agda-stdlib-0.3/src/Data/Function/LeftInverse.agda).
Checking Data.Graph.Acyclic
(/tmp/buildd/agda-stdlib-0.3/src/Data/Graph/Acyclic.agda).
Checking Data.Integer (/tmp/buildd/agda-stdlib-0.3/src/Data/Integer.agda).
Checking Data.Nat.Show (/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/Show.agda).
Checking Data.Sign (/tmp/buildd/agda-stdlib-0.3/src/Data/Sign.agda).
Checking Data.Integer.Divisibility
(/tmp/buildd/agda-stdlib-0.3/src/Data/Integer/Divisibility.agda).
Checking Data.Integer.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Integer/Properties.agda).
Checking Data.Sign.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Sign/Properties.agda).
Checking Data.Nat.Divisibility
(/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/Divisibility.agda).
Checking Data.Nat.Coprimality
(/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/Coprimality.agda).
Checking Data.Nat.GCD (/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/GCD.agda).
Checking Induction.Lexicographic
(/tmp/buildd/agda-stdlib-0.3/src/Induction/Lexicographic.agda).
Checking Data.Nat.GCD.Lemmas
(/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/GCD/Lemmas.agda).
Checking Data.List.All (/tmp/buildd/agda-stdlib-0.3/src/Data/List/All.agda).
Checking Data.List.Any (/tmp/buildd/agda-stdlib-0.3/src/Data/List/Any.agda).
Checking Relation.Binary.List.Pointwise
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/List/Pointwise.agda).
Checking Relation.Binary.Props.Preorder
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Preorder.agda).
Checking Data.List.All.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/All/Properties.agda).
Checking Data.List.Any.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/Any/Properties.agda).
Checking Relation.Binary.Product.Pointwise
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/Pointwise.agda).
Checking Relation.Nullary.Product
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Product.agda).
Checking Relation.Binary.Props.DecTotalOrder
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/DecTotalOrder.agda).
Checking Relation.Binary.NonStrictToStrict
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agda).
Checking Data.List.Countdown
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/Countdown.agda).
Checking Data.List.NonEmpty.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty/Properties.agda).
Checking Data.List.Reverse
(/tmp/buildd/agda-stdlib-0.3/src/Data/List/Reverse.agda).
Checking Data.Map (/tmp/buildd/agda-stdlib-0.3/src/Data/Map.agda).
Checking Data.Nat.InfinitelyOften
(/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/InfinitelyOften.agda).
Checking Data.Nat.LCM (/tmp/buildd/agda-stdlib-0.3/src/Data/Nat/LCM.agda).
Checking Data.Product.Record
(/tmp/buildd/agda-stdlib-0.3/src/Data/Product/Record.agda).
Checking Data.Rational (/tmp/buildd/agda-stdlib-0.3/src/Data/Rational.agda).
Checking Data.Sets (/tmp/buildd/agda-stdlib-0.3/src/Data/Sets.agda).
Checking Relation.Binary.OrderMorphism
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/OrderMorphism.agda).
Checking Data.Star.BoundedVec
(/tmp/buildd/agda-stdlib-0.3/src/Data/Star/BoundedVec.agda).
Checking Data.Star.Nat (/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Nat.agda).
Checking Relation.Binary.Simple
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Simple.agda).
Checking Data.Star.Decoration
(/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Decoration.agda).
Checking Data.Star.Pointer
(/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Pointer.agda).
Checking Data.Star.List (/tmp/buildd/agda-stdlib-0.3/src/Data/Star/List.agda).
Checking Data.Star.Environment
(/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Environment.agda).
Checking Data.Star.Fin (/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Fin.agda).
Checking Data.Star.Properties
(/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Properties.agda).
Checking Data.Star.Vec (/tmp/buildd/agda-stdlib-0.3/src/Data/Star/Vec.agda).
Checking Data.Stream (/tmp/buildd/agda-stdlib-0.3/src/Data/Stream.agda).
Checking Foreign.Haskell (/tmp/buildd/agda-stdlib-0.3/src/Foreign/Haskell.agda).
Checking IO (/tmp/buildd/agda-stdlib-0.3/src/IO.agda).
Checking IO.Primitive (/tmp/buildd/agda-stdlib-0.3/src/IO/Primitive.agda).
Checking Relation.Binary.Flip
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Flip.agda).
Checking Relation.Binary.List.NonStrictLex
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/List/NonStrictLex.agda).
Checking Relation.Binary.List.StrictLex
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/List/StrictLex.agda).
Checking Relation.Binary.On
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/On.agda).
Checking Relation.Binary.Product.NonStrictLex
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/NonStrictLex.agda).
Checking Relation.Binary.Product.StrictLex
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/StrictLex.agda).
Checking Relation.Nullary.Sum
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Sum.agda).
Checking Relation.Binary.Props.Poset
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Poset.agda).
Checking Relation.Binary.Props.StrictPartialOrder
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictPartialOrder.agda).
Checking Relation.Binary.StrictToNonStrict
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictToNonStrict.agda).
Checking Relation.Binary.Props.StrictTotalOrder
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictTotalOrder.agda).
Checking Relation.Binary.Props.TotalOrder
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/TotalOrder.agda).
Checking Relation.Binary.StrictPartialOrderReasoning
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictPartialOrderReasoning.agda).
Checking Relation.Binary.Sum
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Binary/Sum.agda).
Checking Relation.Nullary.Universe
(/tmp/buildd/agda-stdlib-0.3/src/Relation/Nullary/Universe.agda).
Checking Size (/tmp/buildd/agda-stdlib-0.3/src/Size.agda).
make[1]: Leaving directory `/tmp/buildd/agda-stdlib-0.3'
# Skipping dh_auto_test - empty override
fakeroot debian/rules binary
dh binary
dh_testroot
dh_prep
dh_installdirs
dh_auto_install
dh_install
dh_installdocs
cp: cannot stat `html/': No such file or directory
dh_installdocs: cp -a html/
debian/agda-stdlib-doc/usr/share/doc/agda-stdlib-doc returned exit code 1
make: *** [binary] Error 2
dpkg-buildpackage: error: fakeroot debian/rules binary gave error exit status 2
E: Failed autobuilding of package
I: user script /var/cache/pbuilder/build//16325/tmp/hooks/C10shell starting
Reading package lists...
Building dependency tree...
Reading state information...
bash is already the newest version.
The following extra packages will be installed:
libgpm2 vim-common vim-runtime
Suggested packages:
gpm ctags vim-doc vim-scripts
The following NEW packages will be installed:
less libgpm2 vim vim-common vim-runtime
0 upgraded, 5 newly installed, 0 to remove and 0 not upgraded.
Need to get 7164kB/7331kB of archives.
After this operation, 27.7MB of additional disk space will be used.
Get:1 ftp://ftp.debian.org sid/main less 436-1 [127kB]
Get:2 ftp://ftp.debian.org sid/main libgpm2 1.20.4-3.3 [35.0kB]
Get:3 ftp://ftp.debian.org sid/main vim-runtime 2:7.2.330-1 [6090kB]
Get:4 ftp://ftp.debian.org sid/main vim 2:7.2.330-1 [911kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 7164kB in 7s (914kB/s)
Selecting previously deselected package vim-common.
(Reading database ... 14889 files and directories currently installed.)
Unpacking vim-common (from .../vim-common_2%3a7.2.330-1_amd64.deb) ...
Selecting previously deselected package less.
Unpacking less (from .../archives/less_436-1_amd64.deb) ...
Selecting previously deselected package libgpm2.
Unpacking libgpm2 (from .../libgpm2_1.20.4-3.3_amd64.deb) ...
Selecting previously deselected package vim-runtime.
Unpacking vim-runtime (from .../vim-runtime_2%3a7.2.330-1_all.deb) ...
Adding `diversion of /usr/share/vim/vim72/doc/help.txt to
/usr/share/vim/vim72/doc/help.txt.vim-tiny by vim-runtime'
Adding `diversion of /usr/share/vim/vim72/doc/tags to
/usr/share/vim/vim72/doc/tags.vim-tiny by vim-runtime'
Selecting previously deselected package vim.
Unpacking vim (from .../vim_2%3a7.2.330-1_amd64.deb) ...
Processing triggers for man-db ...
Setting up vim-common (2:7.2.330-1) ...
Setting up less (436-1) ...
Setting up libgpm2 (1.20.4-3.3) ...
Setting up vim-runtime (2:7.2.330-1) ...
Processing /usr/share/vim/addons/doc
Setting up vim (2:7.2.330-1) ...
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/vim (vim) in
auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/vimdiff
(vimdiff) in auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/rvim (rvim)
in auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/rview (rview)
in auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/vi (vi) in
auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/view (view)
in auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/ex (ex) in
auto mode.
update-alternatives: using /usr/bin/vim.basic to provide /usr/bin/editor
(editor) in auto mode.
I: user script /var/cache/pbuilder/build//16325/tmp/hooks/C10shell finished
I: unmounting dev/pts filesystem
I: unmounting proc filesystem
I: cleaning the build env
I: removing directory /var/cache/pbuilder/build//16325 and its subdirectories
