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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:41:15 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:41:15 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build2
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-4build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0a7209b4c819a039834325f4799239a400661689 2250 coq-relation-algebra_1.7.10-4build2.dsc
 1a709527dece3a4dd8922174ba71179bef1d2f8c 2296 coq-relation-algebra_1.7.10-4build2.debian.tar.xz
 0eaedc1d52f893ee6f5c1dee4c4e49ab6514d50c 7896 coq-relation-algebra_1.7.10-4build2_source.buildinfo
Checksums-Sha256:
 b5d67a93e7626fdd92aad901386d00ca8b52e208820f721f5c9a8b3d68e13b66 2250 coq-relation-algebra_1.7.10-4build2.dsc
 7c661308bbbf4a78bec42daa5e3392df38227541e1cf90b97941c6dc1a7d9ea4 2296 coq-relation-algebra_1.7.10-4build2.debian.tar.xz
 0d64f411f9fff1dc97367ee7c5826f902ef81998bf398485f52099d366520075 7896 coq-relation-algebra_1.7.10-4build2_source.buildinfo
Files:
 aff2e16bed052a3c89c7ddcd035fe4a4 2250 ocaml optional coq-relation-algebra_1.7.10-4build2.dsc
 cbd06a457b378de37f2b482b0af94c17 2296 ocaml optional coq-relation-algebra_1.7.10-4build2.debian.tar.xz
 f9654505c42686dad91db326c53fd6e8 7896 ocaml optional coq-relation-algebra_1.7.10-4build2_source.buildinfo