Source: agda-bin Version: 2.2.4-1 Severity: serious User: debian...@lists.debian.org Usertags: qa-ftbfs-2010-01-08 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part: > /usr/bin/fakeroot debian/rules clean > test -x debian/rules > dh_testroot > dh_clean > test ! -x debian/hlibrary.setup || debian/hlibrary.setup clean > rm -rf dist dist-ghc6 dist-hugs debian/hlibrary.setup Setup.hi Setup.ho > Setup.o .*config* > rm -f build-ghc6-stamp build-hugs-stamp build-haddock-stamp > rm -rf debian/tmp-inst-ghc6 > rm -f debian/hlibrary.Makefile > rm -rf debian/dh_haskell_shlibdeps > dpkg-source -b agda-bin-2.2.4 > dpkg-source: info: using source format `1.0' > dpkg-source: info: building agda-bin using existing agda-bin_2.2.4.orig.tar.gz > dpkg-source: info: building agda-bin in agda-bin_2.2.4-1.diff.gz > dpkg-source: warning: file agda-bin-2.2.4/debian/compat has no final newline > (either original or modified version) > dpkg-source: info: building agda-bin in agda-bin_2.2.4-1.dsc > debian/rules build > test -x debian/rules > mkdir -p "." > if test ! -e Setup.lhs -a ! -e Setup.hs; then echo "No setup script found!"; > exit 1; fi > for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc6 --make > $setup -o debian/hlibrary.setup; exit 0; fi; done > [1 of 1] Compiling Main ( Setup.hs, Setup.o ) > Linking debian/hlibrary.setup ... > debian/hlibrary.setup configure --ghc -v2 \ > --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc6/lib \ > --haddockdir=/usr/share/ghc6-doc/ghc-6.10.4/haddock/ \ > --htmldir=/usr/share/doc/libghc6-agda-executable-doc/html/ \ > > Configuring Agda-executable-2.2.4... > hlibrary.setup: At least the following dependencies are missing: > Agda ==2.2.4 > make: *** [dist-ghc6] Error 1 The full build log is available from: http://people.debian.org/~lucas/logs/2010-01-08/agda-bin_2.2.4-1_lsid64.buildlog A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on about 50 AMD64 nodes of the Grid'5000 platform, using a clean chroot. Internet was not accessible from the build systems. -- | Lucas Nussbaum | lu...@lucas-nussbaum.net http://www.lucas-nussbaum.net/ | | jabber: lu...@nussbaum.fr GPG: 1024D/023B3F4F | -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org