Format: 1.8
Date: Tue, 06 Jan 2026 08:17:45 +0100
Source: ott
Binary: libcoq-ott ott-tools ott-tools-dbgsym
Architecture: source amd64
Version: 0.34+ds-1+ocaml1
Distribution: unstable
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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 7afb9dc5334003935caf82e0997fcf9c00186167 1229 ott_0.34+ds-1+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 a5138d19ef75772d8b99b403f962eea58ccd161a 7028 ott_0.34+ds-1+ocaml1.debian.tar.xz
 de1ff994f2ce7af9f5c93a7cbff3096877a13de8 160908 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 654ff99259b51b4408d84375edfaa049217ea959 445928 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 2eacd3e0550cec9fab67296b2ec6c0acccbab586 1509744 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 c150a9a691c9108d1d1b2d9f06d3a2d214583872 10309 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 230eebf62886abcaa9f079c548f49d1279bb11b24c08f2247b58ba9bc4c7d47a 1229 ott_0.34+ds-1+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 da7c52121704eddcaa70a853d4a2e6df90a0c69fe62bf14dfc78d257e8fff664 7028 ott_0.34+ds-1+ocaml1.debian.tar.xz
 a82f3dce375c36ca8c2c80870f3df186b9e944cbf3f3cb860fd007511d807ae3 160908 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 46d884fab24d06c4261dc3f81b59d8c9c831df59ea81181d045b4bbe0a14a267 445928 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 2ab48fbe701b2d82b79ad1d730fe6c269c52632c4f7c69b4a861d686f67fd289 1509744 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 2762a47fed19c9406a1bf4255b51796ac4adc6dad57be61af1547c5e47256991 10309 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Files:
 42e7d87934bfbc2f443ed9e00826184e 1229 ocaml optional ott_0.34+ds-1+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 d5589a3891cdb2ecb6257e9674f2ae81 7028 ocaml optional ott_0.34+ds-1+ocaml1.debian.tar.xz
 023eb231150d35d68ec103d90dafe205 160908 ocaml optional libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 07eb66e5b64d09f596f0337f4743246f 445928 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 0b222f2568f1961d713a1bc4c94929c9 1509744 ocaml optional ott-tools_0.34+ds-1+ocaml1_amd64.deb
 3d8d1f7f520322600c44c1dcf51be7f1 10309 ocaml optional ott_0.34+ds-1+ocaml1_amd64.buildinfo