Format: 1.8
Date: Fri, 06 Nov 2026 23:40:41 +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:
 00d5fc1c42dd7997f5a3ac817e15eb2e7c3944ef 1236 ott_0.34+ds-5+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 f82bacd6354c8e45c1750fc0847bbb7c6311a17e 7196 ott_0.34+ds-5+ocaml1.debian.tar.xz
 ae11562ae6f08eaea9bd0de928b69c251107c723 164312 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 6a3263f7073ee877f78a47cc75faa8366482508a 1537028 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 b5711057b402efccb68e9b30dfcb24d09e2105c9 10009 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 92e2495890a6f94c5663eec8bf7a3ed89470d41e7d3151942e53f5d285643676 1236 ott_0.34+ds-5+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 f44056f9b9ea1bfb3b8f812294ac92da68f243dde9005cd845cd42d9d7461a9e 7196 ott_0.34+ds-5+ocaml1.debian.tar.xz
 fc8bb9ab3b608d4975a3d0c6b630530b2eaf841f67a1a6098b984d974770c030 164312 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 9069fd8bdd96f19bd20d6d830d4b90e534718d0bcfdbbb2f103b63d5696c97a6 1537028 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 6f9f67437355e8611007e6fdbdd056ba5567b2db5adfd41c38ac80524b34a079 10009 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Files:
 89c595066e695355bf28e953d189c76d 1236 ocaml optional ott_0.34+ds-5+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 010a0d047b4b46692402c31dab220bd3 7196 ocaml optional ott_0.34+ds-5+ocaml1.debian.tar.xz
 c7f5d17432ab7f8b70a86187222cd64b 164312 ocaml optional libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 fdd3f6ac92aeac6b4f071b2e4e473150 1537028 ocaml optional ott-tools_0.34+ds-5+ocaml1_amd64.deb
 ca775ccb744ae02685527d2b7aec5eb6 10009 ocaml optional ott_0.34+ds-5+ocaml1_amd64.buildinfo