Package: coq-doc Version: 8.4pl4-1 Severity: serious Tags: sid stretch Justification: fails to build from source
Hi, coq-doc FTBFS in sid and stretch. (It builds fine in jessie.) [...] OCAMLC kernel/univ.mli OCAMLC kernel/univ.ml File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal File "kernel/univ.ml", line 229, characters 17-20: Error: String literal begins here Makefile.build:853: recipe for target 'kernel/univ.cmo' failed make[3]: *** [kernel/univ.cmo] Error 2 make[3]: Leaving directory '/build/coq-doc-8.4pl4' Makefile:139: recipe for target 'refman' failed make[2]: *** [refman] Error 2 make[2]: Leaving directory '/build/coq-doc-8.4pl4' debian/rules:21: recipe for target 'override_dh_auto_build' failed make[1]: *** [override_dh_auto_build] Error 2 make[1]: Leaving directory '/build/coq-doc-8.4pl4' debian/rules:10: recipe for target 'binary' failed make: *** [binary] Error 2 dpkg-buildpackage: error: fakeroot debian/rules binary gave error exit status 2 Cheers, Andreas