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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:26:28 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:26:28 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-2build2
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-2build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c833ada8340d81f28335063cceb723600e0b3d75 2243 coq-relation-algebra_1.7.9-2build2.dsc
 f102e526c9b91254d18fc381e10cb9e194f9ce7c 2424 coq-relation-algebra_1.7.9-2build2.debian.tar.xz
 aec93dd835bcf41f58b4cc40f996be921cbf2313 7851 coq-relation-algebra_1.7.9-2build2_source.buildinfo
Checksums-Sha256:
 df04b56afbd6c03def8b7633aa7f3404485dff41a30df86ce7744b1347b95310 2243 coq-relation-algebra_1.7.9-2build2.dsc
 91ce7bc688a41cee87d965d8ed9378938cf140b570fc3169c578458bab3be058 2424 coq-relation-algebra_1.7.9-2build2.debian.tar.xz
 345c980a69069c3bb9dc48647bcb1d01b53e6113c6cc8de9df3906fa1cec6cc1 7851 coq-relation-algebra_1.7.9-2build2_source.buildinfo
Files:
 9558990c9239e2d8a1885171b6e80638 2243 ocaml optional coq-relation-algebra_1.7.9-2build2.dsc
 e64c2decca644bf4761319d17996f417 2424 ocaml optional coq-relation-algebra_1.7.9-2build2.debian.tar.xz
 65484fa100808393e8577f84b5b4e637 7851 ocaml optional coq-relation-algebra_1.7.9-2build2_source.buildinfo