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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:06:33 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:06:33 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build3
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 829a361b44308f8b27420d034353901b80b44c3f 2250 coq-relation-algebra_1.7.11-1build3.dsc
 62c652b3eacd231305ba40592231bdf6673155cc 2360 coq-relation-algebra_1.7.11-1build3.debian.tar.xz
 a05362a9500c46a1e1a667fdd03e41c7d4136737 7804 coq-relation-algebra_1.7.11-1build3_source.buildinfo
Checksums-Sha256:
 1ea1145b7cf9e34f5ebe4ab4bdc422f368b691f6d92ae4bb4f3c2bed0d140e5f 2250 coq-relation-algebra_1.7.11-1build3.dsc
 ad83b29991cdf75d4aed5f61ebc67c46cdebd2d352fe9878ae94524af3bb9814 2360 coq-relation-algebra_1.7.11-1build3.debian.tar.xz
 42bcecf9d90094aab59e06648577160d949a046fe8c83e0fa6b1578a380abaed 7804 coq-relation-algebra_1.7.11-1build3_source.buildinfo
Files:
 79bddb5dcbd32ca03396596fd860df80 2250 ocaml optional coq-relation-algebra_1.7.11-1build3.dsc
 77be488fc3e60e7988db6712f1cbbc20 2360 ocaml optional coq-relation-algebra_1.7.11-1build3.debian.tar.xz
 15c756dd3c8b85b1de56a424e6610451 7804 ocaml optional coq-relation-algebra_1.7.11-1build3_source.buildinfo