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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:23 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:23 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.0-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a22169419a45e1f3ad9848056637adb79ee23ef7 2181 coq-interval_4.6.0-1build1.dsc
 bc6125ac8ae2f8a819e064642a96b7b1d45a072a 8792 coq-interval_4.6.0-1build1.debian.tar.xz
 84cc479091ef24a310f916232ba1b6c4bbbda5f4 7889 coq-interval_4.6.0-1build1_source.buildinfo
Checksums-Sha256:
 267244dcda8d4ea3bd93804ab176efde4c7eadcdf5090171ca20c5cd61e389c3 2181 coq-interval_4.6.0-1build1.dsc
 115848f1ec8766c3e689c180f37e2e0180bee6f57de344c792d2f8e96601bf70 8792 coq-interval_4.6.0-1build1.debian.tar.xz
 82ed63db30984130c61ee40cda2bcadb355372233330b5b2f93a8e3c4bc75509 7889 coq-interval_4.6.0-1build1_source.buildinfo
Files:
 99cf4d9a264502a889b8cdc7a5335925 2181 ocaml optional coq-interval_4.6.0-1build1.dsc
 2de39f36d1f64c537b39bad680e3ba07 8792 ocaml optional coq-interval_4.6.0-1build1.debian.tar.xz
 9c26010aa19a0d2856fd4d0db5e2c053 7889 ocaml optional coq-interval_4.6.0-1build1_source.buildinfo