Bug#813063: coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal

[Andreas Beckmann <anbe@debian.org>]

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