Package: coq Version: 8.1.pl2+dfsg-2 Severity: serious There was an error while trying to autobuild your package:
> Automatic build of coq_8.1.pl2+dfsg-2 on lxdebian.bfinv.de by sbuild/s390 98 [...] > 176 tests passed over 189, i.e. 93 % > if grep -F 'Error!' test-suite/check.log ; then false; fi > output/Cases.v...Error! (unexpected output) > output/Coercions.v...Error! (unexpected output) > output/Fixpoint.v...Error! (unexpected output) > output/Implicit.v...Error! (unexpected output) > output/InitSyntax.v...Error! (unexpected output) > output/Intuition.v...Error! (unexpected output) > output/Nametab.v...Error! (unexpected output) > output/Notations.v...Error! (unexpected output) > output/RealSyntax.v...Error! (unexpected output) > output/Sum.v...Error! (unexpected output) > output/Tactics.v...Error! (unexpected output) > output/TranspModtype.v...Error! (unexpected output) > output/ZSyntax.v...Error! (unexpected output) > make[1]: *** [check] Error 1 > make[1]: Leaving directory `/build/buildd/coq-8.1.pl2+dfsg' > make: *** [build-stamp] Error 2 > dpkg-buildpackage: failure: debian/rules build gave error exit status 2 > ****************************************************************************** > Build finished at 20071123-1631 > FAILED [dpkg-buildpackage died] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
