Bug#939741: FTBFS with OCaml 4.08.0 (safe strings)
Package: src:coq-doc
Version: 8.6-1
Severity: important
User: debian-ocaml-maint@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,
--
Stéphane
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Kernel: Linux 5.2.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Reply to: