Bug#944277: FTBFS with OCaml 4.08.1 (Error while running external preprocessor)
Package: src:hol-light
Version: 20190729-2
Severity: serious
Tags: ftbfs
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml-4.08-transition
Dear Maintainer,
hol-light FTBFS with OCaml 4.08.1 because of an error while running
external preprocessor:
https://buildd.debian.org/status/package.php?p=hol-light
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-3-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: