Format: 1.8
Date: Wed, 11 Nov 2026 14:34:15 +0100
Source: ott
Binary: libcoq-ott ott-tools
Architecture: source amd64
Version: 0.34+ds-5+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-5+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 6c5d25abb21487e1c41f6a8960040852e3895adb 1236 ott_0.34+ds-5+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 e0f4067faf2d41fb27d299a89e3da7ea362779ea 7192 ott_0.34+ds-5+ocaml1.debian.tar.xz
 10bfd9af7f4a06f566200e02df22f7d6b9a62974 164304 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 b779c7f80f35772f4c7a21220815df0e8a8f1cae 1538484 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 0f2fb045ca6eb11653e4c37e13a4da91666fc741 10012 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 8b4c117ac0c8f70053b69557321d8f6f29ca3a65cdb8aeb5b11b892a78fa9580 1236 ott_0.34+ds-5+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 cbe4a441d3ae3841416e03a726150feef4a3e421f6959a228488bcf18cd5d7fd 7192 ott_0.34+ds-5+ocaml1.debian.tar.xz
 3b8f01f8471f5091fd4ab7b03555baee50c1242a4bc2bfcbcb39265793b90199 164304 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 3360d394ed084c9f1b9d84622de60c78919ada7dab8f2ef8d550c66260dbe319 1538484 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 500c124b5338a11ba03699493b2fc79c0c32bd24dfb9d169538852386df752a0 10012 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Files:
 9b6803c3a06007a30244df32f9e43786 1236 ocaml optional ott_0.34+ds-5+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 1faad71d78f07c010fe100bde0a0e8b6 7192 ocaml optional ott_0.34+ds-5+ocaml1.debian.tar.xz
 eb25b8436341dfe9827fdf195f177f20 164304 ocaml optional libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 ea758b397be37be65c108143d2b23e2d 1538484 ocaml optional ott-tools_0.34+ds-5+ocaml1_amd64.deb
 5a2196afe5fd63f69022c7ad8d9f6bb5 10012 ocaml optional ott_0.34+ds-5+ocaml1_amd64.buildinfo