Your message dated Wed, 22 Jul 2026 18:33:56 +0000
with message-id <[email protected]>
and subject line Bug#1128188: fixed in rocq-stdlib 9.1.0-2
has caused the Debian Bug report #1128188,
regarding libcoq-stdlib must depend on libcoq-core-ocaml-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 [email protected]
immediately.)
--
1128188: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128188
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: rocq-stdlib
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/logs.php?pkg=flocq&ver=4.2.2-1&arch=arm64&suite=experimental
...
Get:72 https://deb.debian.org/debian experimental/main arm64
libcoq-core-ocaml-dev arm64 9.2.0+dfsg-1 [55.9 MB]
Get:73 https://deb.debian.org/debian experimental/main arm64 libcoq-stdlib
arm64 9.1.0-1 [20.3 MB]
...
Error:
Error when parsing .vo (from file
/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Stdlib/NArith/BinNat.vo)
for library Stdlib.NArith.BinNat: File
/usr/lib/aarch64-linux-gnu/ocaml/5.4.1/coq/user-contrib/Stdlib/NArith/BinNat.vo
has bad version number 90100 (expected 90299). It is corrupted or was
compiled with another version of Rocq.
Failed to build src/Version.vo
Failed to build all
make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
...
Get:72 https://deb.debian.org/debian experimental/main arm64
libcoq-core-ocaml-dev arm64 9.2.0+dfsg-1 [55.9 MB]
Get:73 https://deb.debian.org/debian experimental/main arm64 libcoq-stdlib
arm64 9.1.0-1+b1 [20.1 MB]
...
I: Built successfully
...
9.1.0-1+b1 was a rebuild against coq 9.2.0.
libcoq-stdlib must depend on libcoq-core-ocaml-ABI
(or some similar dependency on coq).
--- End Message ---
--- Begin Message ---
Source: rocq-stdlib
Source-Version: 9.1.0-2
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
rocq-stdlib, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Julien Puydt <[email protected]> (supplier of updated rocq-stdlib package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 22 Jul 2026 20:00:28 +0200
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: source amd64
Version: 9.1.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-stdlib - Standard library for the Rocq Theorem Prover
Closes: 1128188 1141880
Changes:
rocq-stdlib (9.1.0-2) unstable; urgency=medium
.
* Add missing dep on libcoq-stdlib (Closes: #1141880).
* Fix depends (Closes: #1128188).
Checksums-Sha1:
f2a9b3d81db3a8b07db0e6ead8e3a4883eeba80a 2030 rocq-stdlib_9.1.0-2.dsc
a92b88f0ea5d7ab4f7c3533691d6f2eaad476acd 1864765 rocq-stdlib_9.1.0.orig.tar.gz
6acb5968e111845ac2139935f676245c5da23ebc 2432 rocq-stdlib_9.1.0-2.debian.tar.xz
0916a8bdea9467f6a000eed7dbcde1a685d92d03 20078312
libcoq-stdlib_9.1.0-2_amd64.deb
ef96ce6aab935c64d7d3592cbc7f3210abae3e95 6787
rocq-stdlib_9.1.0-2_amd64.buildinfo
Checksums-Sha256:
1ccc2b270802b85ddb51f9784d893647040ba7bdea40700d82159a4516696af3 2030
rocq-stdlib_9.1.0-2.dsc
4ddeaa7ebb580780d34f655834ef6c0daa64a2b07f930056976866862fb1f76f 1864765
rocq-stdlib_9.1.0.orig.tar.gz
df3bb0e9afa3d1cb39f690577bdd5080859b0dbddc59027a16594a75e49f02fb 2432
rocq-stdlib_9.1.0-2.debian.tar.xz
9819c325d808363fa32d5cec7ceda2158249cc72c28afee65916cba7f9b308a5 20078312
libcoq-stdlib_9.1.0-2_amd64.deb
2449ec02e75d4def86e80962ca78104393d2bb587fab8f13bb19ae98f4df4c81 6787
rocq-stdlib_9.1.0-2_amd64.buildinfo
Files:
d56380051598d7484b3ac24a127302f2 2030 math optional rocq-stdlib_9.1.0-2.dsc
a8b0043d624e8bb44d46d22e741f329c 1864765 math optional
rocq-stdlib_9.1.0.orig.tar.gz
68dca703196537db9190c9c43f531fea 2432 math optional
rocq-stdlib_9.1.0-2.debian.tar.xz
910e9c610a06775257248dec14b604c6 20078312 math optional
libcoq-stdlib_9.1.0-2_amd64.deb
f00fce37207f325906d42f7d4c6a4d16 6787 math optional
rocq-stdlib_9.1.0-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmphCC4ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUY1LEACIBTb4Kc8FmzMssa9SQVy/
dj5kshLfcNw/4q7yHUZZps9pdMZWVZ7/XhWkebP5e4btqG74tSf9xI1mO69ZMjNz
dI325GcRJKbBpLCn0uJgbiDSZasE1HAwiqafh0KSfN7VE+U/HCkGVZ4bOpU+j31I
R26glZ5iqEtpnN70nDWheQzijTxEa+y6EJOUieWiVWJO4RDSL6qGOs7yZB9kyiaw
DDb8mg4lAXt6IcjRuu++TGRYJcK7mPA36TUto7tlmyjmszFq7rHzT/OSWyQ4OnJq
313LGmaRZOz/c/lw1UWqHbQ4I0NqJLXFGnSGiadSC/s38WCTnc2XvA7gQneWo6E8
DhbQmQUj2depW8gDH0Pj+TwG5h4N1iFf1bOfYd3K0csNLNbEY+SGl59NfmIcGw13
cf/P2ZwQfyTaGGZzR9xutuDCKa9jmmRM/r3b7F5Tsq0/5EF1ttLW63g1VAcHvpNt
3qTZsVA45ZOYuL+Su650gLIIjYrV0KXQkdc13zoXv1cZyVMmnsF9rWCiIKkA1veF
oZMFMNv+f3jluH6QhcAlha6Xau4J8x98lUVIvJhtPd2pBzatkZQidsNqtOiu0wxU
FVBAwmk22eZS9th/0TMGlPFmR2JctLTCfilhMC/rlxgtrbuVX9KtM6cgOCFcNK0X
JWiemhRR5vqZ0L6/vIjDyw==
=ny1u
-----END PGP SIGNATURE-----
pgpVqAXlih5Oa.pgp
Description: PGP signature
--- End Message ---
