Format: 1.8
Date: Sat, 25 Apr 2026 04:02:00 +0200
Source: ott
Binary: libcoq-ott ott-tools ott-tools-dbgsym
Architecture: source amd64
Version: 0.34+ds-1+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 cbe671851ad1ff47f17cc1f7d73352ec4ffebfe1 1229 ott_0.34+ds-1+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 fac368fddfb3cdf50c2fa93688aa2e758f611bc9 7036 ott_0.34+ds-1+ocaml1.debian.tar.xz
 a8328db1a910a4ef087ed8fad42bf3527fca83e6 160940 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 f0111007cd636eb8a5a35777fa4b2aa1d2d07df6 445624 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 ed73de6a5655e32ab913e5d536521ae7f90fab91 1508592 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 d96015bd2ffcade6b413155c5ae4aa1293521532 10396 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Checksums-Sha256:
 d19efcf4e21f5952f4b2dcf3e9cd803b0d0407d71803533737e294a707d8455d 1229 ott_0.34+ds-1+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 e0ea1755922572a3be43aec8d4d89a9fb10d627d3c8abbd03e55381b8ce7703d 7036 ott_0.34+ds-1+ocaml1.debian.tar.xz
 162b9e5e0862457a6abdc064b6fe388d46d2a140e0c848b911174baa10ab3591 160940 libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 7d3e02ce4f6a2a26333bf912753aee022af10c24ef7a2e1d2092afd9959be16f 445624 ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 1ad1eb08e6dc25ee4ca11860cef63b78783470cb11921c6f50e79eb07e541c08 1508592 ott-tools_0.34+ds-1+ocaml1_amd64.deb
 38187490ba76ed98a05c0e3ab9514bb800c7333980fad6affcf5f09c0fc4d1e8 10396 ott_0.34+ds-1+ocaml1_amd64.buildinfo
Files:
 9299fb7243ae138f618e148092978dec 1229 ocaml optional ott_0.34+ds-1+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 e43bbce5b7d38642bd3a9627fbc4d2d3 7036 ocaml optional ott_0.34+ds-1+ocaml1.debian.tar.xz
 d561fa9b2bd9329ebf4568e1f1f99729 160940 ocaml optional libcoq-ott_0.34+ds-1+ocaml1_amd64.deb
 16c52b5f2525b4947cf15ae623cb4b19 445624 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml1_amd64.deb
 cab6026135c7763546418ad1b4131729 1508592 ocaml optional ott-tools_0.34+ds-1+ocaml1_amd64.deb
 4dda56868275ac309cb5ecfaec16f434 10396 ocaml optional ott_0.34+ds-1+ocaml1_amd64.buildinfo