[ubuntu/noble-proposed] coq-relation-algebra 1.7.9-1build2 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.9-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:14:43 +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.9-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:14:43 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-1build2
Distribution: noble
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.9-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1570dda74f7e0ce6b4b90da97da0b00922851691 2233 coq-relation-algebra_1.7.9-1build2.dsc
 31a1b9706f9f7231302a85c79e2eaab199c697f1 1988 coq-relation-algebra_1.7.9-1build2.debian.tar.xz
 0fb58baaca8b013215363adad3cc42adeffcb582 7848 coq-relation-algebra_1.7.9-1build2_source.buildinfo
Checksums-Sha256:
 bd089f602dc938832c8ab5f81190b92ccd235d3af1b8d1882074f1b8958bcdd1 2233 coq-relation-algebra_1.7.9-1build2.dsc
 fd6e73ce885eab04f62d4c84d4fc00f7236810ba87d32151d5b7de04783d47d3 1988 coq-relation-algebra_1.7.9-1build2.debian.tar.xz
 6c4b562302a79f18726713e0131b2c0071f371e884587ac90b9e327fbed6106a 7848 coq-relation-algebra_1.7.9-1build2_source.buildinfo
Files:
 ebe38f6b731f4a796144c588add298da 2233 ocaml optional coq-relation-algebra_1.7.9-1build2.dsc
 bb2b79fbe3884017ca936dd290db9e7e 1988 ocaml optional coq-relation-algebra_1.7.9-1build2.debian.tar.xz
 8902e458b60b0959b6896222b8fc2b5b 7848 ocaml optional coq-relation-algebra_1.7.9-1build2_source.buildinfo