Format: 1.8
Date: Tue, 11 Aug 2026 11:17:32 +0200
Source: rocqnavi
Binary: rocqnavi
Architecture: source amd64
Version: 0.5.1-2+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 065602685ce9ae957cfa3855c838617fecb93b2a 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 aaced2512b0d2ee01a24f4b60d2ffb24067fd974 164834 rocqnavi_0.5.1.orig.tar.gz
 abc034c0c93bfe799a129edc4cbe1ca0643a2278 2428 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 3ae77b1bf64123ea0f51280a56b3b43e31ba292b 6825 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 6ff14aa3e21119f2ea5617558abcdbe3d91b68f2 895136 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 4b616a4e44c3dc2c8f4dc098257d70ad442c58a0aefd07927df5c98d9c993847 1181 rocqnavi_0.5.1-2+ocaml1.dsc
 00bca5a6a8bcc7820123cc6faff76b365e48c28c908e6764a1208dbbb92d19a0 164834 rocqnavi_0.5.1.orig.tar.gz
 d82aad57f0a02b4fd8d6c1a69eb994795550c5c53378308d0f0ab35bd9d25071 2428 rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 be5fa68c23431457ec135d55023ada9af23a81b66de490c42c71cf6325c4d311 6825 rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 4457b6fe8a4f9c6b1d6589d221d3ce6de89ffb27599d1fb60db60463b0bad191 895136 rocqnavi_0.5.1-2+ocaml1_amd64.deb
Files:
 03b4b540591456550bcb58270e6c24f6 1181 ocaml optional rocqnavi_0.5.1-2+ocaml1.dsc
 43cecf04db0b59d9e1c140683ffab47e 164834 ocaml optional rocqnavi_0.5.1.orig.tar.gz
 1213dc23dfa160db72c0d4a516d0ec2c 2428 ocaml optional rocqnavi_0.5.1-2+ocaml1.debian.tar.xz
 2613d517e5b4ca52c5733f182fa25c0d 6825 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.buildinfo
 86727448b6718a1b9bad519b32c85e4c 895136 ocaml optional rocqnavi_0.5.1-2+ocaml1_amd64.deb