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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:51:06 +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.11.0-2build5
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:51:06 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build5
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.11.0-2build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a53369e54170b09318363b9a7dbfae5f04c1e3cc 2193 coq-interval_4.11.0-2build5.dsc
 9e87d357a6738d5bb7d3e669c698d2ee61edb2dc 9504 coq-interval_4.11.0-2build5.debian.tar.xz
 002dd2809652acc4633fd3b1ce3417ec6405231b 7864 coq-interval_4.11.0-2build5_source.buildinfo
Checksums-Sha256:
 3f3ead8c92f00dbf84b409eece4b54acc4279171affe56593e2d4705b7ab58c8 2193 coq-interval_4.11.0-2build5.dsc
 5aa9ea8e3f21add0d3e38416be88ceb010e7bf6e72f24a536073458823041caa 9504 coq-interval_4.11.0-2build5.debian.tar.xz
 9dd412a4e751e3d4f6ec843b07f70e9070746dac27f9ac4d81fb7a2d4c99e9b6 7864 coq-interval_4.11.0-2build5_source.buildinfo
Files:
 45a3fb8d147baa2367f1b1af8e9436f3 2193 ocaml optional coq-interval_4.11.0-2build5.dsc
 fca39977da3e683ae4304f9aa9d37c52 9504 ocaml optional coq-interval_4.11.0-2build5.debian.tar.xz
 3ed0cf9e16c2794f883d02c6cf86dbcb 7864 ocaml optional coq-interval_4.11.0-2build5_source.buildinfo