[ubuntu/oracular-proposed] ott 0.33+ds-4build1 (Accepted)

[Jeremy Bícha]

ott (0.33+ds-4build1) oracular; urgency=medium

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 11:22:33 -0400
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-4build1
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 11:22:33 -0400
Source: ott
Built-For-Profiles: noudeb
Architecture: source
Version: 0.33+ds-4build1
Distribution: oracular
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-4build1) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 a2a218f48cd140e397cb3db5813416d4c3de8fa6 2108 ott_0.33+ds-4build1.dsc
 ad469e835d265f2d8763bc76d5bd6b631e09002f 8232 ott_0.33+ds-4build1.debian.tar.xz
 daea503eec3df296a6f42f7126351309a1ecc8c1 6887 ott_0.33+ds-4build1_source.buildinfo
Checksums-Sha256:
 5467cbf1236c1c40dd29184c7fefc2673dd735b47846a9896241e5cfa4c7be4c 2108 ott_0.33+ds-4build1.dsc
 e77fb2090cdace3012f310d2410540ac3b3b755f4051fccf11d0866eb96ad35c 8232 ott_0.33+ds-4build1.debian.tar.xz
 39d4bd6eae5713b04dd36a99d8c79591dd7f888182ef882a3ed559260494b01b 6887 ott_0.33+ds-4build1_source.buildinfo
Files:
 0caf08923a48f7c31f400bb64fbf9932 2108 ocaml optional ott_0.33+ds-4build1.dsc
 6916f8d70b26a92a125aae7431ea55fa 8232 ocaml optional ott_0.33+ds-4build1.debian.tar.xz
 f12c4d9922e53efa6e240c6b9af6de55 6887 ocaml optional ott_0.33+ds-4build1_source.buildinfo