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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 07:59:44 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 07:59:44 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-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.1-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8b18fad2eb17120a30ca0a92cb5bd243ddfbd5cc 2181 coq-interval_4.6.1-1build2.dsc
 14009885da96ac27cb93a34435ee318304805f2c 8812 coq-interval_4.6.1-1build2.debian.tar.xz
 edc1cf1f2dd50ae02a25d714b06e7806652fbeb0 7112 coq-interval_4.6.1-1build2_source.buildinfo
Checksums-Sha256:
 cb77736883b883e00d340df2acc4d954ad0112d32701194fbaa906056c496e3e 2181 coq-interval_4.6.1-1build2.dsc
 c32289e76f5c26058f94669d972d536043a9cc87b9ff98b283429a6a71496a90 8812 coq-interval_4.6.1-1build2.debian.tar.xz
 95a8dae77ec51d2cdec8f89ccfd2a2ee627b67092db8783c90b857e4b64c2636 7112 coq-interval_4.6.1-1build2_source.buildinfo
Files:
 baad6efacb5aa9d2a4d6d4092bc288e6 2181 ocaml optional coq-interval_4.6.1-1build2.dsc
 83ff92a0a58fcf05dcb16745b0b0a97f 8812 ocaml optional coq-interval_4.6.1-1build2.debian.tar.xz
 73a801d44fcd630351c9c7220f67de33 7112 ocaml optional coq-interval_4.6.1-1build2_source.buildinfo