Bug#1002983: FTBFS with camlp5 8.00.02
Source: hol-light
Version: 20190729-4
Severity: important
Tags: ftbfs
Dear Maintainer,
Your package FTBFS with camlp5 8.00.02 with the following error:
> cp: cannot stat 'pa_j_3.1x_8.xx.ml': No such file or directory
This was discovered while preparing the transition to OCaml 4.13.1.
Packages rebuilt with OCaml 4.13.1 are available at:
https://ocaml.debian.net/transitions/ocaml-4.13.1/
Cheers,
--
Stéphane
-- System Information:
Debian Release: bookworm/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.15.0-2-amd64 (SMP w/4 CPU threads)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Reply to: