Format: 1.8
Date: Thu, 02 Jul 2026 15:12:24 +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.5.0
Checksums-Sha1:
 765df21d2d30ba41d42145c06e51ad40607bc5e2 1229 ott_0.34+ds-1+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 4610c50916fe5d2306c60b521829c1e7ba2f46ca 7024 ott_0.34+ds-1+ocaml1.debian.tar.xz
 358999e7a0ebdfe31614419cabee354dca87ca6a 160824 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 fe3d3cee1f4b8287b0dc2ca4369c82f009675f67 455684 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 f95fef721adc9209c060e0e8b38bfbb61e99e0c2 1530888 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 ee93ca5156f7435e12fe966d398ecae15df6468b 10339 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 ed77b133cd43822a57838e8e43e534a45a65c21c09bb69f083f4c2087068aa83 1229 ott_0.34+ds-1+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 e24a2f29c54650141d12793d55d6a4fadd4c149bf08bc3b072a5b7d17b1f3b1b 7024 ott_0.34+ds-1+ocaml1.debian.tar.xz
 3107526d8b11d0ec77fcaedb3315c926ae09e195589ad63a34b3c3ae2457af91 160824 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 e12722a7aa7a169f86b49a38e69f3300bca319b89d38f8bcfc5ca4938e732cb1 455684 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 89de7329b3bec0b7597572ee9c02c59902a7de8ed27bf39f0451c4ea0c0c76a1 1530888 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 718b8e3b02a4fd4f8a10026f16f9ac7f64f465388c07c26730fc91d2e29975a7 10339 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Files:
 4c378351d729229cde269dd26757544c 1229 ocaml optional ott_0.34+ds-1+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 880a39d185f8ce9935916c06cbbde8bf 7024 ocaml optional ott_0.34+ds-1+ocaml1.debian.tar.xz
 44fabb6eab2c22c84e021802b55d9d00 160824 ocaml optional libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 89400d2274c5752a147eecbb1ea5d779 455684 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 136b0af9e762df9842aa2faa516aa5fb 1530888 ocaml optional ott-tools_0.34+ds-1+ocaml1_amd64.deb
 33b487ccd564793147665b6a7cdd52c1 10339 ocaml optional ott_0.34+ds-1+ocaml1_amd64.buildinfo