Your message dated Wed, 11 Feb 2026 09:00:29 +0000
with message-id <[email protected]>
and subject line Bug#1111824: fixed in rocq-stdlib 9.0.0-1
has caused the Debian Bug report #1111824,
regarding ITP: rocq-stdlib -- Rocq's Standard library
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.)
--
1111824: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111824
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <[email protected]>
X-Debbugs-Cc: [email protected], Debian OCaml Maintainers
<[email protected]>, [email protected]
* Package name : rocq-stdlib
Version : 9.0.0
Upstream Contact: Rocq Development Team
* URL : https://rocq-prover.org
* License : LGPL-2.1
Programming Lang: Rocq, OCaml
Description : Rocq's Standard library
Rocq is a proof asssistant for higher-order logic, which
allows the development of computer programs consistent with
their formal specification. It is developed using Objective
Caml and Camlp5.
.
This package provides the Rocq Standard Library, about
basic numbers, sets, lists, strings and other basic concepts.
The Coq proof assistant is becoming the Rocq theorem prover ('coq' didn't sound
professional on an international level...) ; and with this change upstream is
also splitting its standard library into a core (which stays with the main
package) and a standard library (which is this new package is about). I plan to
maintain this package along with the rest of the Coq/Rocq ecosystem within the
OCaml Maintainers team.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: rocq-stdlib
Source-Version: 9.0.0-1
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, 17 Sep 2025 07:03:34 +0200
Source: rocq-stdlib
Binary: libcoq-stdlib
Architecture: source amd64
Version: 9.0.0-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
libcoq-stdlib - Standard library for the Rocq Theorem Prover
Closes: 1111824
Changes:
rocq-stdlib (9.0.0-1) experimental; urgency=medium
.
* Initial release. (Closes: #1111824)
Checksums-Sha1:
36046a6540bf6bc2b977529ffece3b43028f0be0 2010 rocq-stdlib_9.0.0-1.dsc
8bd16b7e3f8abcf67a933a31ffb670c8f6e72b63 1826759 rocq-stdlib_9.0.0.orig.tar.gz
72d50ec945a3c401baac8e46cff1c51e1c99748c 2216 rocq-stdlib_9.0.0-1.debian.tar.xz
90d8c29f55284d960859d8b64eb4e3a6c3fda128 19528812
libcoq-stdlib_9.0.0-1_amd64.deb
07840c40c5d6505a760bb8b2b8ab169c6a7f46ba 6657
rocq-stdlib_9.0.0-1_amd64.buildinfo
Checksums-Sha256:
2ec5c0caafc4d8651f480a60defe05a6363d74918fa2246c70e296d26f605303 2010
rocq-stdlib_9.0.0-1.dsc
1ab6adc42dfc651ddc909604bae1a54ff5623cda837f93677a8b12aab9eec711 1826759
rocq-stdlib_9.0.0.orig.tar.gz
1cf50beafcb3d5a4f5df3240c1bcef0fda726e5389e8e2fb814c1519d0516954 2216
rocq-stdlib_9.0.0-1.debian.tar.xz
7422c820bd29306f4ed0004b93958950071c94221f87b8d9a844d49735fcaa0e 19528812
libcoq-stdlib_9.0.0-1_amd64.deb
a9b81b381ad269ff523c730435354580ab4a7f071181cce85d570cc6da70cc69 6657
rocq-stdlib_9.0.0-1_amd64.buildinfo
Files:
4993c995ac5e1de2d269e3c7ec37655d 2010 math optional rocq-stdlib_9.0.0-1.dsc
4816a4c49b3ebbe9331a975bd1afa009 1826759 math optional
rocq-stdlib_9.0.0.orig.tar.gz
4e56102a4890363107ce3c343a6877e7 2216 math optional
rocq-stdlib_9.0.0-1.debian.tar.xz
06680494477367909d46c1b3c16fba0d 19528812 math optional
libcoq-stdlib_9.0.0-1_amd64.deb
766b8a4964177e3d17f547fad4ac4273 6657 math optional
rocq-stdlib_9.0.0-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjK2ckZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUcUyEACKVNB1Ypxkg/08D8IslrYG
kl2PgY79C+E0ZaOv2fHJmC+W4Lw5IMyiAshQ2INwobbwfXZzVVF81SuT+GTlXahS
SoXf1sz4HK03QkB5qq4JGHYc3juPh2f9R3irUfQrMqge7G0IU7n3i13gzTv8PhNu
yjR7dVjOLIyd6yTKUBxE1Ge/ba4FsKKGNzYjrgyey8JOg6gaH/wvJpi49WVXGJ7R
2GMgH6fJ/s3UoLL+iWFTkdpmzz7J2ipiJiX3TSKcOc9jGXaTiEl73WpCDozMvIYz
3R5T6qn3etzpBBCjN0G7O+j11SnMr/KQ7b5dnzkBUGzY1cVC83aacgK+1r0GW20P
LGBd6PQZZGsovXjVZv4EZMYjBWS5imuWm/yRik5hjrFwPd4EiaEHok2A6unxydOR
OC9/DiA6zI7/hqezpvTv5KXEkdUx8vQQHl4ZvUZFXcXx6Yp5vAIQoptY2G9TzrEJ
MPXQ7dIiJk+4ZKa2Obhl01QPd90y0a5+raRWVfSK9RVV2bxAGr86VenXxWc3PNN6
d59n7PNKDi5fwnx2XRXQBKArZqDMosURrprKl3ll6qemXUNeRpdl7FKz2aGslSJo
M245jnwmrUERZLAqqKzNeamKVR6Yg0/kd2pxZF6EFtbjDRkPtYdyzyEh0hHzi7ug
9/2/Z5740hZnChoImDU6TQ==
=YqPu
-----END PGP SIGNATURE-----
pgpTtnbeRkSMn.pgp
Description: PGP signature
--- End Message ---
