Package: src:agda Version: 2.3.0-1+b3 Severity: serious Justification: FTBFS
Excerpt from the build log[1]: | for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc --make $setup -o debian/hlibrary.setup; exit 0; fi; done | [1 of 1] Compiling Main ( Setup.hs, Setup.o ) | Linking debian/hlibrary.setup ... | debian/hlibrary.setup configure --ghc -v2 \ | --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib \ | --builddir=dist-ghc \ | --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.3.0/ \ | --htmldir=/usr/share/doc/libghc-agda-doc/html/ \ | --datadir='/usr/share' --datasubdir='libghc-agda-dev' | hConfiguring Agda-2.3.0... | library.setup: At least the following dependencies are missing: | array >=0.1 && <0.4, | base >=4.2 && <4.5, | filepath >=1.1 && <1.3, | old-time ==1.0.* | make: *** [dist-ghc] Error 1 | dpkg-buildpackage: error: debian/rules build gave error exit status 2 Note that we get some hints in the warnings emitted from haddock during installation of build dependecies: | Warning: haddock-interfaces: /usr/lib/ghc-doc/haddock/filepath-1.3.0.0/filepath.haddock doesn't exist or isn't a file | Warning: haddock-html: /usr/share/doc/ghc-doc/html/libraries/filepath-1.3.0.0 doesn't exist or isn't a directory | Warning: haddock-interfaces: /usr/lib/ghc-doc/haddock/array-0.4.0.0/array.haddock doesn't exist or isn't a file | Warning: haddock-html: /usr/share/doc/ghc-doc/html/libraries/array-0.4.0.0 doesn't exist or isn't a directory So the current agda might be incompatible with the libraries shipped with the newer ghc. Maybe a new agda upstream version is needed to resolve this issue. Helmut [1] https://buildd.debian.org/status/fetch.php?pkg=agda&arch=amd64&ver=2.3.0-1%2Bb3&stamp=1330380181 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
