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
