[ubuntu/mantic-proposed] coq-relation-algebra 1.7.8-2build3 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.8-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:44:55 +0200
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-relation-algebra/1.7.8-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:44:55 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.8-2build3
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-relation-algebra (1.7.8-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 543e6147e9b4e5cac17632e5c887cf4db15c134e 2233 coq-relation-algebra_1.7.8-2build3.dsc
 06bd455390b21be1737dbd7320a9c004d84002df 1768 coq-relation-algebra_1.7.8-2build3.debian.tar.xz
 6cf47e02a1615ab09ad03f5f52e6ce05872b3edb 7243 coq-relation-algebra_1.7.8-2build3_source.buildinfo
Checksums-Sha256:
 97395962c1b772298fa5f6cee5e3a9d2fe841eb5b4440b6bb675a5d909041feb 2233 coq-relation-algebra_1.7.8-2build3.dsc
 74575d2754b1740f5e85c7185fd094c3f55ab8269a38ca12fb128add29b4e08a 1768 coq-relation-algebra_1.7.8-2build3.debian.tar.xz
 87d49f968f43b90053e10fed72db2f28b570474eb5233f35a4a1f3aee9deb731 7243 coq-relation-algebra_1.7.8-2build3_source.buildinfo
Files:
 79d789c8b58377d80fe7750c2cdd4af9 2233 ocaml optional coq-relation-algebra_1.7.8-2build3.dsc
 f6b79efe20d97c70d4800c4c5789d991 1768 ocaml optional coq-relation-algebra_1.7.8-2build3.debian.tar.xz
 1bd46b7696cb7c5a1e33f19352adf2d0 7243 ocaml optional coq-relation-algebra_1.7.8-2build3_source.buildinfo