Format: 1.8
Date: Mon, 07 Sep 2026 20:14:43 +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.1
Checksums-Sha1:
 64e2f372537dbbe3e746ca011d865c6c0b3dd280 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 5a13c64cfbbd7969081ebbd37cc69a28ae1f5b08 2420 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 db7d5ea72f4aa424e4f3e7b788171bcf1f0765a5 6552 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 ea7615cff7321f1add0419c21eefcb1866550375 926704 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 bd79126d7fa2a5db852c215db8fc631e526d89dbea637ee67770154593bb2134 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 89b7b035b5b5fed5c10abca5634ff512259f99d67048a7c42d916ad809d2a445 2420 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 fcce7875015df45777ed4e343ac673e50b8ee4948fcf4b7e44455873fb720cda 6552 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 7dfd1cb164ed96e021a96a540e9edf4512dd2a839055bb5766bd25a520df5da3 926704 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Files:
 126059db99a29c98e3a3776ef219536d 1181 ocaml optional rocqnavi_0.5.1-2+ocaml1.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 2159723fae3146cf9129d736e9eb0aac 2420 ocaml optional rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 923d03f911746649223675c89d26cef5 6552 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 5c4949035c15f16cf02d80238d5b87a0 926704 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.deb