Format: 1.8
Date: Thu, 13 Mar 2025 11:01:21 +0100
Source: ott
Binary: libcoq-ott ott-tools ott-tools-dbgsym
Architecture: source amd64
Version: 0.34+ds-1+ocaml20250313
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+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 842ff6ff28664e4ffc08d37131aba42f5ada9715 1257 ott_0.34+ds-1+ocaml20250313.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 e0678690e175056ae7e30f9617cdc653d01f9d7c 7036 ott_0.34+ds-1+ocaml20250313.debian.tar.xz
 edf8e5d068388ee42b7768deb58165033bcb48fd 160888 libcoq-ott_0.34+ds-1+ocaml20250313_amd64.deb
 ebaefacc59b9565b1d7cb77a4428647132b9e3b4 439060 ott-tools-dbgsym_0.34+ds-1+ocaml20250313_amd64.deb
 444e2a6199b74e4612bb91db582e9a4980a70b8f 1497672 ott-tools_0.34+ds-1+ocaml20250313_amd64.deb
 01d86be6086b54ea64c5f96d264030a20411fe8d 10719 ott_0.34+ds-1+ocaml20250313_amd64.buildinfo
Checksums-Sha256:
 3fe90e47e12608eb5990756329f1de639e6a02651b1098ad8ec939fb4762a04c 1257 ott_0.34+ds-1+ocaml20250313.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 b53ef4abd8b834d5088c0c74dbac5e8cba19bf40211ec654e6cd076467d8f0c1 7036 ott_0.34+ds-1+ocaml20250313.debian.tar.xz
 70bf90f0b245f112992a25d3403482ce4da28fb53a886b9751b94d21eaa9b41f 160888 libcoq-ott_0.34+ds-1+ocaml20250313_amd64.deb
 25042b0a30766ea8d89d09776f005748c4d44697e87dc21822c1c059b16822b1 439060 ott-tools-dbgsym_0.34+ds-1+ocaml20250313_amd64.deb
 839b79e668bb8b4232796bd85f83fa2ef56979389cc7ce0d4e1100441696689e 1497672 ott-tools_0.34+ds-1+ocaml20250313_amd64.deb
 19e45cd46fd30308c7fbe4f3d8852f5b502cabbdf5a11b4716a921f8e581621a 10719 ott_0.34+ds-1+ocaml20250313_amd64.buildinfo
Files:
 9bead30e1ffc0030b65f6336ceb5e4a3 1257 ocaml optional ott_0.34+ds-1+ocaml20250313.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 13be657df2ef2ee864cde1277bff5736 7036 ocaml optional ott_0.34+ds-1+ocaml20250313.debian.tar.xz
 ff225175feec67008cdb90f8ba49a52b 160888 ocaml optional libcoq-ott_0.34+ds-1+ocaml20250313_amd64.deb
 50fda8a904534556eeb417edc8ac6ac6 439060 debug optional ott-tools-dbgsym_0.34+ds-1+ocaml20250313_amd64.deb
 4486fbc32335212e75e553669ca6ed6b 1497672 ocaml optional ott-tools_0.34+ds-1+ocaml20250313_amd64.deb
 4b8d4fab1b31a2972c41014982c65e70 10719 ocaml optional ott_0.34+ds-1+ocaml20250313_amd64.buildinfo