Format: 1.8
Date: Wed, 11 Nov 2026 14:28:14 +0100
Source: rocqnavi
Binary: rocqnavi
Architecture: source amd64
Version: 0.5.1-2+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 rocqnavi   - Generator of HTML documentation from Rocq files
Changes:
 rocqnavi (0.5.1-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 b586d3381e9f70ae1aeb4981ec5503cdd332b8f0 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 622858649cffd10719fa03786719af37824abc3a 2424 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 73269e7ba57e37059dbf4c86c07ce53434510fde 6703 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 c9a323d9318ae7fa1fa3252e23702574f4fa2723 931208 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 fa88490b97c5264e488f4b62883ce3b84061a730482955e67eb4dd5cd9284f9f 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 dc09a27136a7ec8e2200e156e9a9436f5d4215f32be7a9acfd889fa172b6bcbf 2424 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 9f2404ad0e6bbc40e78fefe0f9960f3f46d62032b0f5353a86128389cae7c1fc 6703 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 a8a26574e05566676fbb2e37383ddb9d0d3dc18ed1defe9244facef90b58d1f7 931208 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Files:
 cc500e079fe11d845bd63832b127520f 1181 ocaml optional rocqnavi_0.5.1-2+ocaml1.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 1133a172c9046bccc56b55dde368e1d6 2424 ocaml optional rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 87acd3bf3df892bf2cceebdc5014afd9 6703 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 06053d113062ef4bbd9087865b280bc2 931208 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.deb