Format: 1.8
Date: Fri, 15 May 2026 10:26:05 +0200
Source: ott
Binary: libcoq-ott ott-tools ott-tools-dbgsym
Architecture: source amd64
Version: 0.34+ds-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-ott - Ott tool (Coq plugin)
 ott-tools  - Ott tool (executable)
Changes:
 ott (0.34+ds-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 632bf6fe2b15d9dc1aca545160cccb070ae3a496 1229 ott_0.34+ds-1+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 86fee4e2300b0137bcbf3ffbb552eb9b3e25ad09 7028 ott_0.34+ds-1+ocaml1.debian.tar.xz
 f347d0141729789756b51f60016ba71e1121fff6 160776 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 71ec92909a2a7edbe7a3d80aff404e1175b00006 446048 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 6942550b36797e2f045065821b6d51f4d1cb7ca5 1509560 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 72d0d5196fa3f319858330645554dfc7ec6a249e 10307 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 e6d101c4cf95dcdddb01f631951818ddb2917692cade5fa37f31801e7e8da498 1229 ott_0.34+ds-1+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 ce0979d0fd481c7945793d22b078c4253d3dc7aafed03fef1c0ccb462fcc136a 7028 ott_0.34+ds-1+ocaml1.debian.tar.xz
 d6994d3a7a9a94199ef44cd941df593729a613846c2ab07cce65bdbaf5806b3c 160776 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 657ef1954c318c6671abbee3e59f3dffb14345ac3ede2cf9c65d5abf6f108367 446048 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 bf5e66dd71edfd223935a10fc96e2562bf3eec1e9fcf6c8b1f1f8d973d517fa1 1509560 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 ac646630fc2cfcb540e34c05c8fcbe2740df0b2444bf36fd9f6c4807cf1596fd 10307 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Files:
 89844b5423aa929049d429cad5220c98 1229 ocaml optional ott_0.34+ds-1+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 2b1b8aff63e87c0fc1a9edca9b1caa80 7028 ocaml optional ott_0.34+ds-1+ocaml1.debian.tar.xz
 5e62b8190bd25c23bf75d057b5e17bf4 160776 ocaml optional libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 bc111e2f3b88ea4e8d74d3b7359bfd66 446048 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 03c7782d4188b2fcebbcf7c041f71a15 1509560 ocaml optional ott-tools_0.34+ds-1+ocaml1_amd64.deb
 15f8a50f5966d5e471e55cdeb9bb163b 10307 ocaml optional ott_0.34+ds-1+ocaml1_amd64.buildinfo