Your message dated Sun, 19 Jul 2026 18:00:30 +0000
with message-id <[email protected]>
and subject line Bug#1142199: fixed in rocqnavi 0.5.1-1
has caused the Debian Bug report #1142199,
regarding ITP: rocqnavi -- Generator of HTML documentation from Rocq files
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.)
--
1142199: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1142199
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 : rocqnavi
Version : 0.5.1
Upstream Contact: Reyanald Affeldt
* URL : https://github.com/affeldt-aist/rocqnavi
* License : GPL-2
Programming Lang: OCaml
Description : Generator of HTML documentation from Rocq files
Generator of HTML documentation for Rocq files, with:
- generation of indexes
- clickable notations
- Markdown and LaTeX notations in comments
- sidebar with tree of modules
This is a new dependency of the latest version of the already packaged
mathcomp/ssreflect, so I would need it to update it. As it is in the Debian
OCaml maintainers team, I plan to support this package there also.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
Source: rocqnavi
Source-Version: 0.5.1-1
Done: Julien Puydt <[email protected]>
We believe that the bug you reported is fixed in the latest version of
rocqnavi, 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 rocqnavi 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: Sun, 19 Jul 2026 12:01:36 +0200
Source: rocqnavi
Binary: rocqnavi
Architecture: source amd64
Version: 0.5.1-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
rocqnavi - Generator of HTML documentation from Rocq files
Closes: 1142199
Changes:
rocqnavi (0.5.1-1) experimental; urgency=medium
.
* Initial release. (Closes: #1142199)
Checksums-Sha1:
9f91d69cfebb795d2f9eda5cfaf1969ff37561a9 2073 rocqnavi_0.5.1-1.dsc
aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
bf2a5ff9b4e3158235b89043ae9fb7af7807acad 2300 rocqnavi_0.5.1-1.debian.tar.xz
8fc609288b21a80b1dca5cc81275132e80d81221 7381 rocqnavi_0.5.1-1_amd64.buildinfo
b562a5b4e570f56cb9b9ec11430080925e36ef8c 873712 rocqnavi_0.5.1-1_amd64.deb
Checksums-Sha256:
1fa3077488ae2559a57916511f677e8249af78a8a36007778823b4b412df71f0 2073
rocqnavi_0.5.1-1.dsc
00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834
rocqnavi_0.5.1.orig.tar.gz
2beb998ad7527bc0690fb2e4fc12263efa11b374ecf4db76efd468206074ecd7 2300
rocqnavi_0.5.1-1.debian.tar.xz
66ecfd1dbf65fec6c25743ad0f3447b3b9e90d7fad4262610141e6aaace82d89 7381
rocqnavi_0.5.1-1_amd64.buildinfo
2bb7bebba82ffd45cba6ca46b318a82239d88ea80b2256089ace9167b4abd0d0 873712
rocqnavi_0.5.1-1_amd64.deb
Files:
3f9c35f35446e4a23859fb4d601accfc 2073 ocaml optional rocqnavi_0.5.1-1.dsc
43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional
rocqnavi_0.5.1.orig.tar.gz
94a62b085a848bb4784d3cbdfac6f5a0 2300 ocaml optional
rocqnavi_0.5.1-1.debian.tar.xz
928dbaba2e4ac11bfe0b660cfd2d889d 7381 ocaml optional
rocqnavi_0.5.1-1_amd64.buildinfo
b76afea9d78242b5fa00fd6c9172105f 873712 ocaml optional
rocqnavi_0.5.1-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpcwbEZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVcWD/4vABHC8PomncEDDUtFGFx+
aDb8WHIpP/nLqLFx8QR+zqOjYjCabRhl7HQAilOXnYcBMmdr5+79fDv8LoZCCqrY
ikZKJz2MmgOfR7Meq/7M3E+tkqNCZUC7lxg8dhpqJ6luMmQazoBY5YctP3WWmhwW
QCF8V2xYpG4j+eudQT7+CghPadCRV9GInOtUH02TNzcG+rYtlwZBf/UnepZXfQ/O
uOwCJkvFVKM0aaDSBn+WyErub9xdRaZeQFdn4Lb7zUVez+nF5DbmOSHUOqLyU3SJ
Bd5ODqvhs2bz1Lx/lJtlZE+LBrHAvJbBPLfACHOpnmkycJ7QIKniCtU4G26qmOgh
qOlUbo8caTwmY3vo6Sa5+Z8fE7w9GPqRmUfxtVT0Tc27CItfp7V2CZDvjhXuSIDk
FAoj0BpATsTReJelfHJNCHmGsfoPLG0OSF9EmdNUNX16V1jghahXjio8O7QY6VSs
au+Wmlroe5fTT0BVzc/XPSP88crIOvUIkUvh1J3icfq/ocKGv89DDWAF+5ftQgxL
YqECqMrASyDgISwOM+44+T7SbDJGOlBPllyDutVXsetGQ6q2VJOVeQ5llXexpdg9
wQhOJy/E66G86xKHUFLgtfgrACM/MCar1uozwt0+1/gjSvQ9cEW4ULYtQY4pmn2p
xLSrP2jXMfQZdkomXz3Lrw==
=RvJ5
-----END PGP SIGNATURE-----
pgphsR5xuQwQ6.pgp
Description: PGP signature
--- End Message ---
