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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:45 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:45 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b00f2d5d957cadb2d65a071d17d29f10e2fd414c 2233 coq-relation-algebra_1.7.9-1build3.dsc
 d7aac31dbb5781083c894579b49ff00ce009ee7e 2008 coq-relation-algebra_1.7.9-1build3.debian.tar.xz
 dd0dc1d68a9f09aeb508a46ebf05d12c69405246 7848 coq-relation-algebra_1.7.9-1build3_source.buildinfo
Checksums-Sha256:
 ad418d5f38863a67de6b450e6e82380c941e92d5beff8e6af47125f2c273f128 2233 coq-relation-algebra_1.7.9-1build3.dsc
 50b185c0616880cbcd2da22a5061b5bee0193ba5f64c3d2e5d3cf15621d16333 2008 coq-relation-algebra_1.7.9-1build3.debian.tar.xz
 26aa8d11649d96ae69d2e3f9485816a8522e6a7cf866763ca7336f1d7819f431 7848 coq-relation-algebra_1.7.9-1build3_source.buildinfo
Files:
 744572eb875b88dbf91f94da30fbbee5 2233 ocaml optional coq-relation-algebra_1.7.9-1build3.dsc
 ad18d0691201060c3e0a30b2af4c5761 2008 ocaml optional coq-relation-algebra_1.7.9-1build3.debian.tar.xz
 067f46afd54bddc4147ec14c99e1c1c6 7848 ocaml optional coq-relation-algebra_1.7.9-1build3_source.buildinfo