[ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-3build6 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.10-3build6) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Jun 2024 12:14:54 +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-3build6
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Jun 2024 12:14:54 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-3build6
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-3build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 77a3f3b8d93cedea5f1f09fd1c2e118b8f425e9b 2250 coq-relation-algebra_1.7.10-3build6.dsc
 04e1bf936a6c3158ba93508269b29087bdf98b16 2280 coq-relation-algebra_1.7.10-3build6.debian.tar.xz
 a6c70a59698fe051c6c63357f4edd608ae41e44e 7847 coq-relation-algebra_1.7.10-3build6_source.buildinfo
Checksums-Sha256:
 fe8bde330d7c1c9c946a55055fdaa93710bcf776446e08be33bb80e8c373fee9 2250 coq-relation-algebra_1.7.10-3build6.dsc
 b7019b81c6eef5336d497774a9f7e82c07e996489740e75de2f5b529d399a04a 2280 coq-relation-algebra_1.7.10-3build6.debian.tar.xz
 7254e37b6745c0afdbfb462891753ffbf9474219277e63591ee308e37ecf09c9 7847 coq-relation-algebra_1.7.10-3build6_source.buildinfo
Files:
 e4fe0ccaf50b1bf467886d4525bbab1e 2250 ocaml optional coq-relation-algebra_1.7.10-3build6.dsc
 d3a6b909f25c355a2ea5fa69c0d2fa4e 2280 ocaml optional coq-relation-algebra_1.7.10-3build6.debian.tar.xz
 a57b6507795540b41a90ed9205a531dc 7847 ocaml optional coq-relation-algebra_1.7.10-3build6_source.buildinfo