[ubuntu/questing-proposed] coq-interval 4.11.1-1build8 (Accepted)

[Jeremy Bícha]

coq-interval (4.11.1-1build8) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:23:08 -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/coq-interval/4.11.1-1build8
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:23:08 -0400
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build8
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-interval (4.11.1-1build8) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 936ab453199b663960188017cb14a3152c324633 2190 coq-interval_4.11.1-1build8.dsc
 494a67f5f55c1b2ade3a5d3e808c77db9b58c258 9584 coq-interval_4.11.1-1build8.debian.tar.xz
 a96046235c451e95d2ebe3f3557624a38acf47bb 6909 coq-interval_4.11.1-1build8_source.buildinfo
Checksums-Sha256:
 bfd282676c6e56231154310498c03fde31488902c3c80f52db4661a31fa8f42e 2190 coq-interval_4.11.1-1build8.dsc
 911f3f990bbcf89484de8241912ca719bc741262155fd5a1a154727fb72668b3 9584 coq-interval_4.11.1-1build8.debian.tar.xz
 9824442fb01c48be2e2bc10d9017ffcdf2f480d1132d837e886023d219afb772 6909 coq-interval_4.11.1-1build8_source.buildinfo
Files:
 f29a0893b3d5c8754baa5b9d52bbe7d7 2190 ocaml optional coq-interval_4.11.1-1build8.dsc
 bb770afafc05750cf68e04da5fcbcee1 9584 ocaml optional coq-interval_4.11.1-1build8.debian.tar.xz
 062a3487cee34def75c701ccc5494bdc 6909 ocaml optional coq-interval_4.11.1-1build8_source.buildinfo