[ubuntu/oracular-proposed] coq-interval 4.10.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.10.0-1build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:42:32 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-interval/4.10.0-1build4
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:42:32 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.10.0-1build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-interval (4.10.0-1build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0e0d0a9bbd336eaf45dcaa822f556e13ac865fa1 2193 coq-interval_4.10.0-1build4.dsc
 5b47eb8bdcd8a57358ea62184a4b8c0b29d63441 9320 coq-interval_4.10.0-1build4.debian.tar.xz
 238c94f6040ca7e73122999fea5f3da19485f86a 7840 coq-interval_4.10.0-1build4_source.buildinfo
Checksums-Sha256:
 6f3b25a36d00e50d5cfc253c781910629e9643e1c410813d778a650541f7f4bc 2193 coq-interval_4.10.0-1build4.dsc
 5fa0327399f0298b588f0176000b9a13d25565a41276edfd7d8af7ce387b238b 9320 coq-interval_4.10.0-1build4.debian.tar.xz
 d1b70d857dd855bf96487a62e20bed639a6e2856fb49f841993bfcff68e48a13 7840 coq-interval_4.10.0-1build4_source.buildinfo
Files:
 22b6b954c79a314787928b3625bfe98a 2193 ocaml optional coq-interval_4.10.0-1build4.dsc
 5411ac67c02535c8baaf44344da737f0 9320 ocaml optional coq-interval_4.10.0-1build4.debian.tar.xz
 7d46a765a4620a2a61fe05d19fe9553f 7840 ocaml optional coq-interval_4.10.0-1build4_source.buildinfo