[ubuntu/plucky-proposed] coq-interval 4.11.0-2build6 (Accepted)

[Matthias Klose]

coq-interval (4.11.0-2build6) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Wed, 20 Nov 2024 10:31:16 +0100
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-2build6
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 10:31:16 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build6
Distribution: plucky
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-2build6) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 17b81cc8837f061dff46bf93248ae90c77df31ea 2193 coq-interval_4.11.0-2build6.dsc
 6ba443b0fcd058e2df223017c504653ae8ed6e47 9540 coq-interval_4.11.0-2build6.debian.tar.xz
 37cedc04a9b144d1a26f900ebb41ae641fb8cfe7 3833 coq-interval_4.11.0-2build6_source.buildinfo
Checksums-Sha256:
 685fc7858fc13ed36024c793a8ac7a82b7041381f3fe6d850f0a19b0d6c187d7 2193 coq-interval_4.11.0-2build6.dsc
 5d33d25524012b7b50169ac3876b69cb6dfe22373768e28d64320e1e0e37dc8b 9540 coq-interval_4.11.0-2build6.debian.tar.xz
 9c3113493eee7a156f9efabc6cfb2cffd5785ac7ac9f45e6780f898a3b52e218 3833 coq-interval_4.11.0-2build6_source.buildinfo
Files:
 d9f997bdbf8c45a2b5f91629efacd6b5 2193 ocaml optional coq-interval_4.11.0-2build6.dsc
 14023817c67883342d5ec5f5f1c8c1ad 9540 ocaml optional coq-interval_4.11.0-2build6.debian.tar.xz
 d15cda55fe02a42e1b0b34a5112e6c61 3833 ocaml optional coq-interval_4.11.0-2build6_source.buildinfo