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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:56:16 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:56:16 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build4
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 15bf051902069de7ef1418e7fefddac276c1c15d 2250 coq-relation-algebra_1.7.11-1build4.dsc
 b4a1ccbf1d4b6c8221c51890d0db442336a70629 2384 coq-relation-algebra_1.7.11-1build4.debian.tar.xz
 967543931d025eab4474ce6488eeb0820fb0458e 7343 coq-relation-algebra_1.7.11-1build4_source.buildinfo
Checksums-Sha256:
 aa2ae5542e909da7cca8aa796501698d4332065a561b8f4eb7b4c257fdb6a6b9 2250 coq-relation-algebra_1.7.11-1build4.dsc
 12b1af8780b54880a58847a00689a9783aa23da2e630b6d5fe50db6e56d2a5c3 2384 coq-relation-algebra_1.7.11-1build4.debian.tar.xz
 0759e6c7e86d277ce1f2631d0a88d15b17b05b2587ce37e5043018cfcadc3b51 7343 coq-relation-algebra_1.7.11-1build4_source.buildinfo
Files:
 e45dc0004b274ff85b9dc085bb3fe5ac 2250 ocaml optional coq-relation-algebra_1.7.11-1build4.dsc
 77362fb18fa49a1543924dec2eee0f5f 2384 ocaml optional coq-relation-algebra_1.7.11-1build4.debian.tar.xz
 ef72b4db144f5c43ee80193a0d475b0a 7343 ocaml optional coq-relation-algebra_1.7.11-1build4_source.buildinfo