Format: 1.8
Date: Fri, 06 Nov 2026 23:33:57 +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:
 a62a5e0dfb24b695c3d41d9d2414d3c6b71c2466 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 770c2aa454c3c3a359656a4a36759ebe71e1a1cf 2416 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 2d118a3896094a91be86db36f02c74b0ac849179 6700 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 151bcd4957c75e72e3ab1c5abccff413c8cea107 927596 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 e07a751d01517bd7c485d2b86196ead5017314606b1d480ae75358712bc416b4 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 a30ed478d9d21ba5af40381f2258dfde870fe54cf9ec833b5daf66fc88b1a9e1 2416 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 de7ee1a4cb6ef718b5ab8e402e1eb67391d36449753b4d380c0310679e5a3bef 6700 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 a1b8609fa9293df14327e38d3e7e11f997ec1115224b01a31a7c8ad3b3dea60b 927596 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Files:
 ecc878298dd053512307e34630547398 1181 ocaml optional rocqnavi_0.5.1-2+ocaml1.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 b209462f7a46e94065046b591fd4cad2 2416 ocaml optional rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 8c8baf5b87ce7bb8621dc6074dce53e9 6700 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 c754c921729aa9de8611a13e78c5c080 927596 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.deb