[ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-4build5 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.10-4build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:50:25 +0200
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.10-4build5
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:50:25 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build5
Distribution: oracular
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.10-4build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2a0043baadf365a27c6d921848b30e7a68c4d216 2250 coq-relation-algebra_1.7.10-4build5.dsc
 e52b11c304503c26b7825f4818492286a6dc386a 2380 coq-relation-algebra_1.7.10-4build5.debian.tar.xz
 e1f96ad675b8239a7fe40a9e13de764d64328b8f 7896 coq-relation-algebra_1.7.10-4build5_source.buildinfo
Checksums-Sha256:
 3ee1ff9e061a482c8959c62671bc632e00d31c63fc5d40508c4656d3de516dc1 2250 coq-relation-algebra_1.7.10-4build5.dsc
 4729e3dc42af3cb22ef2f311b8a267f283e628ca667c120a0df59ecf5ac88613 2380 coq-relation-algebra_1.7.10-4build5.debian.tar.xz
 bb31e4f07202c8799692bb8b983e76f1b70cbbf98512302db63bd89d446acc74 7896 coq-relation-algebra_1.7.10-4build5_source.buildinfo
Files:
 2e361dea165564a4a027e2cb2b9e5a20 2250 ocaml optional coq-relation-algebra_1.7.10-4build5.dsc
 6d28024664605560424c6e51bb080a93 2380 ocaml optional coq-relation-algebra_1.7.10-4build5.debian.tar.xz
 0c9477eadc2abdffc4ad6c8bdcdc53a9 7896 ocaml optional coq-relation-algebra_1.7.10-4build5_source.buildinfo