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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:38:28 +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-3build7
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:38:28 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-3build7
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-3build7) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4470c0f1f54afece70d4108ce89fde6d20f74cbe 2250 coq-relation-algebra_1.7.10-3build7.dsc
 e3d3208552ffc70b5fa16b91ef66c1541371dc67 2288 coq-relation-algebra_1.7.10-3build7.debian.tar.xz
 0dbdcf14bd282be14b561fdff409eebe9b1b00e1 7872 coq-relation-algebra_1.7.10-3build7_source.buildinfo
Checksums-Sha256:
 d1c9b59181739e234ace20aac09236e8381c917324461328d6cec5027299ea03 2250 coq-relation-algebra_1.7.10-3build7.dsc
 2cc12d851f7243ba424fc3ac9c8705ccd9d94e0a0596aa19872c3fe013ba8e1a 2288 coq-relation-algebra_1.7.10-3build7.debian.tar.xz
 e2f1e01f42efb47bd0847df4661230aa770e7c4cfdf7ed1dad4090279384df51 7872 coq-relation-algebra_1.7.10-3build7_source.buildinfo
Files:
 cd573b94ae21d6387fad480649309a88 2250 ocaml optional coq-relation-algebra_1.7.10-3build7.dsc
 4c4f92732f76df790cf9ebc28439fc88 2288 ocaml optional coq-relation-algebra_1.7.10-3build7.debian.tar.xz
 0a07dbf5d7180fa3c86ccab5450a0d26 7872 ocaml optional coq-relation-algebra_1.7.10-3build7_source.buildinfo