[ubuntu/lunar-proposed] coq-interval 4.6.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.6.0-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:20 +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.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:20 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.0-1build2
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.0-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ed5ba6a8f918bea20f3cad60e368b2f464a3e112 2181 coq-interval_4.6.0-1build2.dsc
 7f01efa2834473088db7276ce5411fbade200a3f 8808 coq-interval_4.6.0-1build2.debian.tar.xz
 00d12e61b3c2bd106e927b9e31a5456ab634ff45 7891 coq-interval_4.6.0-1build2_source.buildinfo
Checksums-Sha256:
 2c25d33e699023af2eca2d05af6acc13671a2b725dc1274da3e4145e32688c2c 2181 coq-interval_4.6.0-1build2.dsc
 0f5d55554da5f53e84eea64c00c0c21771fa7e38a924260d4be436112a823923 8808 coq-interval_4.6.0-1build2.debian.tar.xz
 6942708c1c053c45740f8b50bf120af2617e894a9095517c87c4106b5cfa86f7 7891 coq-interval_4.6.0-1build2_source.buildinfo
Files:
 30bf62ec38ad167122c58147cc80249f 2181 ocaml optional coq-interval_4.6.0-1build2.dsc
 47aa07d1e524ad51b51b3e95480afcaf 8808 ocaml optional coq-interval_4.6.0-1build2.debian.tar.xz
 9779b5c568e3c78e2336e332eca079dc 7891 ocaml optional coq-interval_4.6.0-1build2_source.buildinfo