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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:18:13 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-relation-algebra/1.7.9-2build5
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:18:13 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-2build5
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-relation-algebra (1.7.9-2build5) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 92135d7c0aec755f3c1c5771b106b5a655409034 2322 coq-relation-algebra_1.7.9-2build5.dsc
 1fd48fc2f479ee33307d9b1dad59e53e0ed57ac9 2564 coq-relation-algebra_1.7.9-2build5.debian.tar.xz
 2286530c498812db6e4c3b88f4e7ef508ac6765c 7868 coq-relation-algebra_1.7.9-2build5_source.buildinfo
Checksums-Sha256:
 6fdb5b42260ed9367b3f703a6aab0a7becce454c87bba17b999c92b74c4af9a1 2322 coq-relation-algebra_1.7.9-2build5.dsc
 f714e0a6c38b88442495fb48f1402b059b4652094f8d94cb89bb6fd0edf9ea63 2564 coq-relation-algebra_1.7.9-2build5.debian.tar.xz
 5a38818dcff72a70f563b9bac4c9089785dfb414b2fcd60d33b3394ab5a21acd 7868 coq-relation-algebra_1.7.9-2build5_source.buildinfo
Files:
 b8053d1b337e2934b50baf1d81ed5066 2322 ocaml optional coq-relation-algebra_1.7.9-2build5.dsc
 798b6c8779838addf3af6e0c1cfc24c8 2564 ocaml optional coq-relation-algebra_1.7.9-2build5.debian.tar.xz
 8d3321d798583a36086f69020eb77c20 7868 ocaml optional coq-relation-algebra_1.7.9-2build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>