Your message dated Tue, 05 Jul 2022 08:35:05 +0200 with message-id <49817a9ac55427be1bd5ce3bc3b299a56c97463e.camel@gmail.com> and subject line Using dh-coq fixes those issues has caused the Debian Bug report #741535, regarding libssreflect-coq: please Provide: an ABI to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 741535: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741535 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: libssreflect-coq: please Provide: an ABI
- From: Enrico Tassi <gareuselesinge@debian.org>
- Date: Thu, 13 Mar 2014 16:28:06 +0100
- Message-id: <20140313152806.29649.25903.reportbug@birba.invalid>
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
--- End Message ---
--- Begin Message ---
- To: 977258-done@bugs.debian.org, 741535-done@bugs.debian.org
- Subject: Using dh-coq fixes those issues
- From: julien.puydt@gmail.com
- Date: Tue, 05 Jul 2022 08:35:05 +0200
- Message-id: <49817a9ac55427be1bd5ce3bc3b299a56c97463e.camel@gmail.com>
Hi, since I wrote dh-coq and started using it for all coq-related packages, we do have an ABI that will avoid future breakages. Cheers, J.Puydt
--- End Message ---