Package: libmenhir-coq Version: 20190626-5 Severity: serious Hello,
All libX-coq (e.g. libssreflect-coq) must have a dependency on coq-$ABI. libmenhir-coq lacks one. 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 libmenhir-coq depends on no packages. Versions of packages libmenhir-coq recommends: pn coq <none> ii menhir 20190626-3 libmenhir-coq suggests no packages.
