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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:13:14 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:13:14 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-3build1
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-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ad5b64ad0170b58fb0b5cafb15eec565cedda2fc 2250 coq-relation-algebra_1.7.10-3build1.dsc
 c79020aae02db6fc2eba55dd2027e717ba4fd6b2 2216 coq-relation-algebra_1.7.10-3build1.debian.tar.xz
 1badc1c47239993d280239497175cb83ea526afb 7872 coq-relation-algebra_1.7.10-3build1_source.buildinfo
Checksums-Sha256:
 999cbab577d9ba0dc686c60a52b796ebe75f6c385752c3fcba3c13e279153cdf 2250 coq-relation-algebra_1.7.10-3build1.dsc
 4a69f72e646edae6f9df61dc9e236af407ba377a260d39becb96eef77bbeedfc 2216 coq-relation-algebra_1.7.10-3build1.debian.tar.xz
 f40a1bf75f5f776babe66b160194713ecd05fc28ada1fbe728c271695d479079 7872 coq-relation-algebra_1.7.10-3build1_source.buildinfo
Files:
 b037d16a85924cc6f35591f047c95798 2250 ocaml optional coq-relation-algebra_1.7.10-3build1.dsc
 502684feadc67a8f9e60ca98f2fc09fc 2216 ocaml optional coq-relation-algebra_1.7.10-3build1.debian.tar.xz
 ab8ee63e16a33ffa36acd5bcf0866e7c 7872 ocaml optional coq-relation-algebra_1.7.10-3build1_source.buildinfo