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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 31 Dec 2022 12:09:48 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 31 Dec 2022 12:09:48 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-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.1-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 761db7dc169bf19f49e8f2440febd0de0b8c151f 2181 coq-interval_4.6.1-1build1.dsc
 583513678383189a9d4f58d54f5eddac49571c08 8800 coq-interval_4.6.1-1build1.debian.tar.xz
 53ef4f4a208136a36b4d918dbc68548076dee224 7088 coq-interval_4.6.1-1build1_source.buildinfo
Checksums-Sha256:
 2f378aaff274b4f05ab7b94904cb2c44f1cb13f91e2350ade10332d71be3e313 2181 coq-interval_4.6.1-1build1.dsc
 3170858658fc54daee46745d9f8cd40f7c50117a4b0ee03964e8806cf0f63a4c 8800 coq-interval_4.6.1-1build1.debian.tar.xz
 f76a1dd224f99345c8e7402d714921400eea337db0061f5bbddf9d3ab342ada9 7088 coq-interval_4.6.1-1build1_source.buildinfo
Files:
 fcd1bec0fa67839291b78c35a65bf731 2181 ocaml optional coq-interval_4.6.1-1build1.dsc
 24fe6c6dee25ae6d63766d48a03551eb 8800 ocaml optional coq-interval_4.6.1-1build1.debian.tar.xz
 78bbe09e30ce76a5633190de4d7bfee6 7088 ocaml optional coq-interval_4.6.1-1build1_source.buildinfo