Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

2019-09-08 Thread Benjamin Barenblat
Control: block 939741 by 897129 I agree. coq-doc acquired a new dependency in the 8.9 release, so that’ll need to get packaged first.

Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)

2019-09-08 Thread Stéphane Glondu
Package: src:coq-doc Version: 8.6-1 Severity: important User: debian-ocaml-ma...@lists.debian.org Usertags: ocaml-4.08-transition Dear Maintainer, coq-doc FTBFS with OCaml 4.08.0 due to -safe-string being the default now. IMHO, the proper fix is the update to a newer upstream release. Cheers,