Format: 1.8
Date: Tue, 11 Aug 2026 11:26:13 +0200
Source: ott
Binary: libcoq-ott ott-tools
Architecture: source amd64
Version: 0.34+ds-5+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-5+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 2e3d396ceea7233a556a5738fa69df924fd777c4 1236 ott_0.34+ds-5+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 e4ce4532eb0bcb7d500adde6de570867f7ad998e 7208 ott_0.34+ds-5+ocaml1.debian.tar.xz
 09a712ab419b6e63207b45cdbccae0666504c4da 164356 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 7667f638507550afc98c1df9fc98c77dbf3a3f8c 1509532 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 9f7e5b6731c09754d7e42daa9874e9e6dfb1d6a5 10289 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 767fcca8eaef16d08b4992c820b6466498567c2425abd86451bafa98006cfdda 1236 ott_0.34+ds-5+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 51e30484367ef116fac2d77bd4703e316bb9553a7fbf4cc20be8342d09912f40 7208 ott_0.34+ds-5+ocaml1.debian.tar.xz
 65af05b2b7366e612261dd62561b5a9a10e4cc88af7f17a027d75a2f50558778 164356 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 4e58e8252c277fcb02d02e2d58007e5ba2c9141e5035e9d6e550166013a431c7 1509532 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 948a1b148f44a233240fb1b037fd39e54752dddc04234d18cbff0a10a3144dc5 10289 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Files:
 da82767d102b5924c9b32c4c1f19192c 1236 ocaml optional ott_0.34+ds-5+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 7be9c14e6a67ab403bc0d127fbe861be 7208 ocaml optional ott_0.34+ds-5+ocaml1.debian.tar.xz
 c5f12582a7afe656894bd50f46667d94 164356 ocaml optional libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 e5c9e95db4ce2fd8c142c5cc3ec2fcb3 1509532 ocaml optional ott-tools_0.34+ds-5+ocaml1_amd64.deb
 ad946f90fb598c3cc0f8420c3d2f2f27 10289 ocaml optional ott_0.34+ds-5+ocaml1_amd64.buildinfo