-----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 <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
