Format: 1.8
Date: Mon, 07 Sep 2026 20:23:06 +0200
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.1
Checksums-Sha1:
 a09afa7440b5430ce1d01ed90428e3ad53cd05c3 1236 ott_0.34+ds-5+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 e773971160febae11a74ce8fd9bf0f714ccf86ec 7200 ott_0.34+ds-5+ocaml1.debian.tar.xz
 6a4c7b469305db7b5a9398c0fb638889c2e8d7d0 164396 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 758852a9c9e97fddaf81b9f6dca89ad6c804cc90 1538044 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 f34794d320ecc897227026e5aabbbea07d31d34c 9888 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 6252625c023bec151b4bb2c97632e310522cb77ff8764b87f6c6b2f3f1ddc600 1236 ott_0.34+ds-5+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 ab3e63915afc19a05be99f3e4406eeafdefed4d6688d38c9f3bf609e0b40c754 7200 ott_0.34+ds-5+ocaml1.debian.tar.xz
 e891e09c90353f67f29358b8d3b994590050b9b6e71aa568ee58c43ee714bb77 164396 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 37a212fb491254f39fe06718a4961de84e1842f22c73dfcb72a54b678f5bdf08 1538044 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 262a2195372dd51d9bbc7ba0496521704576ad4b63a6ae969525948621402e92 9888 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Files:
 c337d5b48dabd987834367d0975a4806 1236 ocaml optional ott_0.34+ds-5+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 0c49b2a037c9035312dbdca7b2f7b419 7200 ocaml optional ott_0.34+ds-5+ocaml1.debian.tar.xz
 31698ddf8cb374106fc5dfa384c59fdf 164396 ocaml optional libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 2cbfef78c39ab56139adfca9f86a2bbf 1538044 ocaml optional ott-tools_0.34+ds-5+ocaml1_amd64.deb
 5594d14900dcdc23f3da4346662146b8 9888 ocaml optional ott_0.34+ds-5+ocaml1_amd64.buildinfo