Package: libssreflect-coq Version: 1.11.0-2 Severity: grave Justification: renders package unusable
Dear Maintainer, I cannot use the ssreflect library in my Debian coq env (amd64 testing). the code: > Require Import mathcomp.ssreflect.ssreflect. gets an error: > Compiled library mathcomp.ssreflect.ssreflect (in file > /usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo) makes inconsistent > assumptions over library Coq.Init.Ltac Additional information libssreflect-coq 1.11.0-2 is built against coq 8.12.0-3+b2. (buildd log: https://buildd.debian.org/status/fetch.php?pkg=ssreflect&arch=all&ver=1.11.0-2&stamp=1604474661&raw=0 ) But the current coq version is 8.12.0-3+b3. I think this package should depend on "libcoq-ocaml-<Hash>", because "coq-<CoqVer>+<OCamlVer>" is insufficient for binNMUs. I got the same issue before, libssreflect-coq 1.11.0-1 (built against coq 8.12.0-3) + coq 8.12.0-3+b1. Regards, Nobuhiro Ban -- System Information: Debian Release: bullseye/sid APT prefers testing-debug APT policy: (500, 'testing-debug'), (500, 'stable-debug'), (500, 'testing'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 5.9.0-3-amd64 (SMP w/4 CPU threads) Kernel taint flags: TAINT_FIRMWARE_WORKAROUND Locale: LANG=ja_JP.UTF-8, LC_CTYPE=ja_JP.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages libssreflect-coq depends on: ii coq [coq-8.12.0+4.11.1] 8.12.0-3+b3 ii libcoq-ocaml 8.12.0-3+b3 libssreflect-coq recommends no packages. libssreflect-coq suggests no packages. -- debconf-show failed
