Bug#452572: coq - FTBFS: Error! (unexpected output)

[Bastian Blank <waldi@debian.org>]

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]