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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:56:04 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:56:04 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ee0bf96764af07f1840d0d35aa23ec5d7a75eb2a 2186 coq-interval_4.6.1-2build1.dsc
 0d44c9760bd8246a1aa3e77fccc6f8cb03ff226b 8848 coq-interval_4.6.1-2build1.debian.tar.xz
 c1cd52cd5576e75658ed035ee5ad8b3e628e0323 7156 coq-interval_4.6.1-2build1_source.buildinfo
Checksums-Sha256:
 b857e1e11213620b5d53df2c6e97a8398da7800f4c4fe8c5a97001dce2c66f90 2186 coq-interval_4.6.1-2build1.dsc
 b32603750300d55ff47a2f2b4935275c9872f635f5aa5ab88b9719446cecf656 8848 coq-interval_4.6.1-2build1.debian.tar.xz
 3e5f332517976b4d18b65fad99cbc08093e364e58d46cccd8399adcf43760dfa 7156 coq-interval_4.6.1-2build1_source.buildinfo
Files:
 b991fef0ebcc15a5b78c53ae2dd9fffc 2186 ocaml optional coq-interval_4.6.1-2build1.dsc
 93c012235ebeaad2fe27894c619d06de 8848 ocaml optional coq-interval_4.6.1-2build1.debian.tar.xz
 d906d1c7be232c0e8f445739d8638506 7156 ocaml optional coq-interval_4.6.1-2build1_source.buildinfo