Format: 1.8
Date: Sat, 25 Apr 2026 08:46:03 +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:
 150fd6bae312c758b3fcc429e9cf06116455e328 1229 ott_0.34+ds-1+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 f5fe106995ce65e947637a98efe94c910c81dd6b 7020 ott_0.34+ds-1+ocaml1.debian.tar.xz
 749a0ffb840cf8c46ebe340dd0a8f377afee3280 160812 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 644d892c0485af87f0b43720eee40e0dacb08eb4 446040 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 8c9c9aa6dda94e90597a2c602eccfdbb48a35546 1510324 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 5896b1fb9c19c0f9304a82e3d1e3387642ec2ab8 10297 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 1d279ada0b7aa9cc17bd53e1b34f1f49fead78e96135dbba318e17550aaa1646 1229 ott_0.34+ds-1+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 a9868ad264f84cdebec1c0d28b92b7e3e2dd967a98ff3fa26364289f36ed9ac6 7020 ott_0.34+ds-1+ocaml1.debian.tar.xz
 e47a1e385ca01e796afe153fbd1fadcd70b8043a0b924d96a467ccb15937346a 160812 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 dcc2f5a2b89090351c830a620820a84d372947405566a74c4925dbcb6e1ba008 446040 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 bddf8e79d7794759bf810864fd4a876fbd52ef044af7d273b630df1cea5febf1 1510324 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 2ff64b83e44640437f306bc789bd9bca89d8a32d35d226d500f23d137cc676cd 10297 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Files:
 226bc6c51ef0440e729e3ada2c47b7ec 1229 ocaml optional ott_0.34+ds-1+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 028702205a4d3acb8c049ba2ed16c396 7020 ocaml optional ott_0.34+ds-1+ocaml1.debian.tar.xz
 ebc381c25c1333f00dd98a974314bfa1 160812 ocaml optional libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 6b03df6d8ef38848c3f3e2e2b5990eb1 446040 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 cfa4f386495c6cbfb13f012859f5caf2 1510324 ocaml optional ott-tools_0.34+ds-1+ocaml1_amd64.deb
 c4a744fbbfe0d2385c0c82b253a7fc1d 10297 ocaml optional ott_0.34+ds-1+ocaml1_amd64.buildinfo