[ubuntu/noble-proposed] coq-interval 4.8.0-1build3 (Accepted)

[Jeremy Bícha]

coq-interval (4.8.0-1build3) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:17:39 -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/coq-interval/4.8.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:17:39 -0500
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.8.0-1build3
Distribution: noble
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.8.0-1build3) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 23ffdd24a7612358289973bcbe83d2c88bd2bd73 2186 coq-interval_4.8.0-1build3.dsc
 a19d580102e2e2428201896402e45cf5a7b02bda 8976 coq-interval_4.8.0-1build3.debian.tar.xz
 48aa0f1a3b17863ed8bef39b79a7dae06eaee531 7272 coq-interval_4.8.0-1build3_source.buildinfo
Checksums-Sha256:
 0002b6af14148b2fef59de15d9b9d0020e19cdab08558afc8f1724f6149dd56b 2186 coq-interval_4.8.0-1build3.dsc
 712bf3ed825cbef3524cb6501cd347691d7658c339c04874193ed712a0540665 8976 coq-interval_4.8.0-1build3.debian.tar.xz
 831175cb76f966f2a3deabc9dbeb7cda467f4936c70a47d73e5a867da56610ea 7272 coq-interval_4.8.0-1build3_source.buildinfo
Files:
 483632f8f1fd8ab5316968dd40ceac09 2186 ocaml optional coq-interval_4.8.0-1build3.dsc
 74271c7a66fb5e372cb38752c0938e6d 8976 ocaml optional coq-interval_4.8.0-1build3.debian.tar.xz
 f9adcc081116de5e3922e5f3db83ebc1 7272 ocaml optional coq-interval_4.8.0-1build3_source.buildinfo