[ubuntu/plucky-proposed] coq-relation-algebra 1.7.11-1build5 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.11-1build5) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:16:37 +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-relation-algebra/1.7.11-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:16:37 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build5
Distribution: plucky
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.11-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 fd0150931ef21a98be379db105e776a9b68e6aa4 2250 coq-relation-algebra_1.7.11-1build5.dsc
 0aa634f2be4bd05ae3f5fe28b16ddb4d0dc3131e 2388 coq-relation-algebra_1.7.11-1build5.debian.tar.xz
 f9b25dc89c704d69f08aecfeac0c20be9dbc40bd 7343 coq-relation-algebra_1.7.11-1build5_source.buildinfo
Checksums-Sha256:
 57c053d2e99f8803d704bf697fb819bf525981ca053900ca8c62283b4a7534a5 2250 coq-relation-algebra_1.7.11-1build5.dsc
 554f82fed16dd554627b6b24d03aac0f1cec7482cd7bf40d45f6fa01c830c0cf 2388 coq-relation-algebra_1.7.11-1build5.debian.tar.xz
 476091f36a38f5006e3bbd1e29d14329efd6b5cd0fc7e557a8da166a32f7d93e 7343 coq-relation-algebra_1.7.11-1build5_source.buildinfo
Files:
 5bf053e47b18eec81a9165f1a8b7724b 2250 ocaml optional coq-relation-algebra_1.7.11-1build5.dsc
 992acfa341257ca436110a35298c778e 2388 ocaml optional coq-relation-algebra_1.7.11-1build5.debian.tar.xz
 012e5231c7595169ca3b94c07cbc7cfd 7343 ocaml optional coq-relation-algebra_1.7.11-1build5_source.buildinfo