Accepted rocqnavi 0.5.1-2 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 28 Jul 2026 16:14:55 +0200
Source: rocqnavi
Binary: rocqnavi
Architecture: source amd64
Version: 0.5.1-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 rocqnavi   - Generator of HTML documentation from Rocq files
Changes:
 rocqnavi (0.5.1-2) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 64c8aab54d965903ed7de7be5d38217ac10e3503 2073 rocqnavi_0.5.1-2.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 8077e20a3287ec762a3e5d8c5341804d8d85d99b 2336 rocqnavi_0.5.1-2.debian.tar.xz
 16add2b50e9610560d2153c9684f4107ad2dde1a 7285 rocqnavi_0.5.1-2_amd64.buildinfo
 29438b50b424564ba4dee0df1a5f3cbdae26cd4d 896812 rocqnavi_0.5.1-2_amd64.deb
Checksums-Sha256:
 a0785cf00003e1d977e8b5ea05b00bb74029a8f254bd8c6b3766c1f08922da6e 2073 rocqnavi_0.5.1-2.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 ae635248d16555252a9bfebaf062d9a349b5cf745e3b8ea6e39c70f2c91cf860 2336 rocqnavi_0.5.1-2.debian.tar.xz
 cd5979cee5be2b2a51e94056a801b08fbc8f176240fa1145f27fb77ca1598d75 7285 rocqnavi_0.5.1-2_amd64.buildinfo
 0c8b53adf1194c1fc430eafd908db3df097ad58858d85f16e7e5519657ca2ac0 896812 rocqnavi_0.5.1-2_amd64.deb
Files:
 3093c6d5518f7cd85de78eb5a081d158 2073 ocaml optional rocqnavi_0.5.1-2.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 2636a900cf3b2db375014974f3a2dbb3 2336 ocaml optional rocqnavi_0.5.1-2.debian.tar.xz
 dc207a3994be6f7ae77f549ee8814c8f 7285 ocaml optional rocqnavi_0.5.1-2_amd64.buildinfo
 e92d928ee8e9a1e9ebcb4f29df7c3a59 896812 ocaml optional rocqnavi_0.5.1-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpovHcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd6aEACStp9nPn8I29wRlY3O3/z2
AFauOEl1kWYf1R2IoV7uwDTCgeBI1eTHv5HIghuksZqeHbjcXIGME5f0NoN0juRW
b0xNTwjXpitYUlhlQpgvh1WMhFQognGDc0DOdk+gHI8lsHUgg0XU96f/WWL5Lc1K
eoRbzX/nUZhcQCYN3WNJ+2/KM0PJSAuI8mFogzDVeNQh3sspPvvOU1Y3K3BnMJt5
xikwzGktVnNn2JgfQ47mDy6UdFR90tZPNS/ccktAXwRCH9hQQbc5Lcf3kRE3AyO4
nzHIg7yOX5SmXfX5cnCT353wHv4R22GhA/bX8g2ZhNsM83z/mPpnshrUVW1V04LQ
ydqJ9nkxY6DOKWSWPVXikpsEXIHoZ2jDAbGDMKV8t6E7PnXI0ww6Uorjek9fAERT
TYbCcoetn1S9TsnMgqXwe0KBOk89gk3/o/SLDMoKLKKcZBE35LK6KwaZG1EZoLi0
pJ+UDAIafpGUtt7W5iy9JmOwkG7MLQxTGzYc2U1bNPCaTJxUqW+X3OoGkKNjb+7N
g9+qmeypmv+habhRiLdZW0ov3RYBkFQdlbScLakTcqIjvr/4XWUT1gzDvQMQScfw
sNUPwGp5eDcwtvMYOU8t55SZ7e/VwLBmt1wMNZE/rjpmZRQO6kSm1iRGAEYwx6RD
A4cVc4eqSff5CagfGSNOxg==
=7HmG
-----END PGP SIGNATURE-----