Bug#935873: Missing dependency on coq-$ABI

[Stéphane Glondu <glondu@debian.org>]

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.