Format: 1.8
Date: Fri, 23 Oct 2026 19:25:55 +0200
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:
 227c43d47076724057f28f9f58859bd5f4a93fb0 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 13b4457a3355f08f97e85b53063f74f54e2df8aa 2420 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 e8f539e9c43b97b9d71025fc60f86a9e481b72b0 6646 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 d52d3d86c9e6c9cb0439a0ee3509719d4891632f 927588 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 3cfc7c3ac7cc832740d94f27fae0b82e8f933d2d27a0785f60428c005504ffdc 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 ac2ba706adbc1fa76211f8ca5d872538d438667a2814368bd4495449b21262f1 2420 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 a368555eedafe3597476edbc963826282d5072cd9ab5c4bbe3f9c45ddd3d9ce5 6646 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 3fa73745c9abc92ddfa9359bd466439de904df5befa90cd70b912f29395eb08f 927588 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Files:
 e4b4d7a21a4a3a064be13b4394d36fc4 1181 ocaml optional rocqnavi_0.5.1-2+ocaml1.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 271f1ca43dbeba90b9aa6b77e50881dd 2420 ocaml optional rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 89061a5637b28fe74390513e6af40fcc 6646 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 a4ec11022e82f7b4a804ef30ee662d16 927588 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.deb