[ubuntu/oracular-proposed] coq-interval 4.11.0-2build3 (Accepted)

[Matthias Klose]

coq-interval (4.11.0-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:11 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-interval/4.11.0-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:11 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build3
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-interval (4.11.0-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 03ba62208ed0630923ff9b5bbd9657668c66faa5 2193 coq-interval_4.11.0-2build3.dsc
 febf02a387865a76b552ce51a1a09ebbe7923e13 9484 coq-interval_4.11.0-2build3.debian.tar.xz
 c282bc2fe08b0886b59fd0eb9cf319be118d1f90 5708 coq-interval_4.11.0-2build3_source.buildinfo
Checksums-Sha256:
 a61a83737d14638f13e7a9a5df7062b2b8290340c1eab94574c6f3ea1720b20a 2193 coq-interval_4.11.0-2build3.dsc
 26236c9f9ca775b54e5e416e55106de187c51cf169460fd916aa517fe6534ab1 9484 coq-interval_4.11.0-2build3.debian.tar.xz
 5063791d7aa41df09fd27124c03e3aded318033a68cc2afd1412cae81bab88d5 5708 coq-interval_4.11.0-2build3_source.buildinfo
Files:
 6ab3d84d276f68addc69d308bdd2540f 2193 ocaml optional coq-interval_4.11.0-2build3.dsc
 0bac276ab0f4e621b3937bd814970ad8 9484 ocaml optional coq-interval_4.11.0-2build3.debian.tar.xz
 0c0c7a54befeb87dda9d21d45e0233f9 5708 ocaml optional coq-interval_4.11.0-2build3_source.buildinfo