[ubuntu/plucky-proposed] ott 0.33+ds-4build5 (Accepted)

[Jeremy Bícha]

ott (0.33+ds-4build5) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 17:31:23 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ott/0.33+ds-4build5
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 17:31:23 -0500
Source: ott
Built-For-Profiles: noudeb
Architecture: source
Version: 0.33+ds-4build5
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 ott (0.33+ds-4build5) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 c5e5d8b3cf35b66f00c982a8398c03206a076c24 2108 ott_0.33+ds-4build5.dsc
 860308084da9b01731338e263f3aab197fa37bca 8368 ott_0.33+ds-4build5.debian.tar.xz
 04ef951717528580464136e806f8b3502e68312d 6945 ott_0.33+ds-4build5_source.buildinfo
Checksums-Sha256:
 be82451906fb63f4e88dfe3d4334ac8aca3ba6b4d509b1b1546d2fa2ae4b9946 2108 ott_0.33+ds-4build5.dsc
 896d3711c41331da2119d8073b6e05320411a3910f48c8dd5002c6a76bb26fb5 8368 ott_0.33+ds-4build5.debian.tar.xz
 515161ab99b4d0eef4caa0327ad7a67f5a0b1cd7a5b32de1a0db3f061cdd1093 6945 ott_0.33+ds-4build5_source.buildinfo
Files:
 4228a2de0bb94173570b1325741b8c98 2108 ocaml optional ott_0.33+ds-4build5.dsc
 31895d410f444232a5d962ae353d5fbc 8368 ocaml optional ott_0.33+ds-4build5.debian.tar.xz
 a06c26b317e4b8bcefedef377a739f91 6945 ocaml optional ott_0.33+ds-4build5_source.buildinfo