Format: 1.8
Date: Fri, 23 Oct 2026 19:31:48 +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.2
Checksums-Sha1:
 9c96b9db56a123b106f9acda701ea096e0d54fa0 1236 ott_0.34+ds-5+ocaml1.dsc
 97c298fb881fae76b54bfc4a391e9e511ac82887 1142148 ott_0.34+ds.orig.tar.xz
 cc9e0fe3f0294ac248cdfddb104aa8adb5d32779 7196 ott_0.34+ds-5+ocaml1.debian.tar.xz
 0b87b4ee01aec3cb9267a0696bfb756d4740513a 164332 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 34042191c026d83aa6e199aa7832d4749cb3c18c 1538680 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 46e74f40773700957dc25a87068df1121637444b 9955 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Checksums-Sha256:
 1d50bebb068f9f9424759b5f9ef3b3da6430e27635a0df176f76865182195f83 1236 ott_0.34+ds-5+ocaml1.dsc
 995a0ab8ae0b8966997605e64870e224360d7f236a0f9bb30d245a675fa1063d 1142148 ott_0.34+ds.orig.tar.xz
 779b9f62e6d80a1a57a7b785f2e37ae46d1d1b729dc293242224c37ae557bdfd 7196 ott_0.34+ds-5+ocaml1.debian.tar.xz
 de78cd49f72110f31d25256f884beafde66c1811581c2cba2e5a3ceea692a2d9 164332 libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 b948017e0d2d4e99aa91c53519c228fa78c066bd23b514b9239744bb1d970256 1538680 ott-tools_0.34+ds-5+ocaml1_amd64.deb
 995c505e07c8156085dc08a4e7f4188d59a85aa72c5449fc6e758806a829c765 9955 ott_0.34+ds-5+ocaml1_amd64.buildinfo
Files:
 cc35346bba5453994a17ab50702d4473 1236 ocaml optional ott_0.34+ds-5+ocaml1.dsc
 5eff147ec6d1f2eccd2766437e4fdb28 1142148 ocaml optional ott_0.34+ds.orig.tar.xz
 84c2aabdd5568862a561680eded549b3 7196 ocaml optional ott_0.34+ds-5+ocaml1.debian.tar.xz
 b7fefbb2fda4b9cda619efa3ac3abac5 164332 ocaml optional libcoq-ott_0.34+ds-5+ocaml1_amd64.deb
 3b173b804f02c700052b5748df61e936 1538680 ocaml optional ott-tools_0.34+ds-5+ocaml1_amd64.deb
 a3d30bd8b34146eec4e9db08fafb62f4 9955 ocaml optional ott_0.34+ds-5+ocaml1_amd64.buildinfo