[ubuntu/noble-proposed] coq-interval 4.9.0-1build1 (Accepted)

[Jeremy Bícha]

coq-interval (4.9.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 08:30:26 -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.9.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 08:30:26 -0500
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.9.0-1build1
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.9.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 42627c3f4d954c670dab13b2a1dd488c2066e8ab 2186 coq-interval_4.9.0-1build1.dsc
 7fefc874daf94c4a504da223da67458f181460fb 9268 coq-interval_4.9.0-1build1.debian.tar.xz
 e2b236c16bad3217b1cee0eb352203ef35c8c527 7639 coq-interval_4.9.0-1build1_source.buildinfo
Checksums-Sha256:
 dcc907a1d1585fce8ed2aef6f02c8919a39810e820f1763f2fa895dbc3f6b214 2186 coq-interval_4.9.0-1build1.dsc
 7b362386658f3c32c66fffd72b1dc95f53a10f2fe3b60e4c52be609695b3e284 9268 coq-interval_4.9.0-1build1.debian.tar.xz
 a78e93b35b700d789a5a2a39022a679be490f7e0f94994a6ca48abaf326a60ce 7639 coq-interval_4.9.0-1build1_source.buildinfo
Files:
 4f21f481786c37c2c44754f633dd8720 2186 ocaml optional coq-interval_4.9.0-1build1.dsc
 83335d8d78eb94a93f5a70c4bb756214 9268 ocaml optional coq-interval_4.9.0-1build1.debian.tar.xz
 e07a30d14d79045f7e235952d1acc771 7639 ocaml optional coq-interval_4.9.0-1build1_source.buildinfo