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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:41:38 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:41:38 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 274cfd3de2bdc42f016ac961eccdd7d9a5b0c051 2250 coq-relation-algebra_1.7.11-1build2.dsc
 dcee4545d2419f1ce55866364602e9c94499abfb 2356 coq-relation-algebra_1.7.11-1build2.debian.tar.xz
 8c9416328dddfdc0985bbe0a2a5766a187c40502 7804 coq-relation-algebra_1.7.11-1build2_source.buildinfo
Checksums-Sha256:
 41606a99e2268b75e8f80e1f4cad3d02211995df88d7716dff9eb274d75fbe89 2250 coq-relation-algebra_1.7.11-1build2.dsc
 30d7bd4ca7173db4319d898036dd2e064171cd6ca630ea96593053bb1c0cdc98 2356 coq-relation-algebra_1.7.11-1build2.debian.tar.xz
 d38a87fbb158bf431f52ae9dfa94d27ab336ead6a87733e8ab7e6f248eb1c335 7804 coq-relation-algebra_1.7.11-1build2_source.buildinfo
Files:
 2b66f24d0e259cf0d67e9bafed1726aa 2250 ocaml optional coq-relation-algebra_1.7.11-1build2.dsc
 9437bd0da959d272ce5872bd38073ab5 2356 ocaml optional coq-relation-algebra_1.7.11-1build2.debian.tar.xz
 ed69ee41a98469ab6d4eeb2add3e021b 7804 ocaml optional coq-relation-algebra_1.7.11-1build2_source.buildinfo