[ubuntu/lunar-proposed] coq-interval 4.6.1-2build2 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.6.1-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:31:12 +0100
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.6.1-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:31:12 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-2build2
Distribution: lunar
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.6.1-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e3444af74e6e264efbbe51860870ea2f96be7ba5 2186 coq-interval_4.6.1-2build2.dsc
 0ceb896d0731d9a6f88d4f2dd9941ec058205879 8864 coq-interval_4.6.1-2build2.debian.tar.xz
 63e99546991e6fac210b2fc5b881921e20310cbb 7156 coq-interval_4.6.1-2build2_source.buildinfo
Checksums-Sha256:
 b58741a9c2018dab52acb370d87a50b51efea444a8d22059bec5d99d9e675e8a 2186 coq-interval_4.6.1-2build2.dsc
 4eede5ef79b93c48c7e9f96f1787fd7c792df8492fa7d9f8606d3b2505fbff7a 8864 coq-interval_4.6.1-2build2.debian.tar.xz
 1f62aa265bf339d984ee2ef927ec7c188f3307410ccef8607912fd822be195a4 7156 coq-interval_4.6.1-2build2_source.buildinfo
Files:
 ab40e10db9b2bd08a7b278d5373b0010 2186 ocaml optional coq-interval_4.6.1-2build2.dsc
 9bd9dd606fc0f2c5cb1d49f534073645 8864 ocaml optional coq-interval_4.6.1-2build2.debian.tar.xz
 c9b82cb535a812e07e494d2e7e5b25b8 7156 ocaml optional coq-interval_4.6.1-2build2_source.buildinfo