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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
