Bug#741535: libssreflect-coq: please Provide: an ABI
Package: libssreflect-coq
Version: 1.5-1
Severity: wishlist
Dear Maintainer, packages building coq libraries on top of ssreflect
will depend on the md5 sum of the .vo files shipped by this package.
There checksums change when Coq is updated, OCaml is updated, ssreflect is
updated... Adding an ABI will force us to do a binnmu to avoid distributing a
package that installs but whose contents cannot be loaded by Coq.
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.11-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages libssreflect-coq depends on:
ii coq [coq-8.4pl3+4.01.0] 8.4pl3dfsg-1
ii libssreflect-ocaml 1.5-1
libssreflect-coq recommends no packages.
libssreflect-coq suggests no packages.
-- no debconf information
Reply to: