[ubuntu/questing-proposed] coq-relation-algebra 1.7.11-1build9 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.11-1build9) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:20:37 +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.11-1build9
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:20:37 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build9
Distribution: questing
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.11-1build9) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 50aed724f74fcc7c308ab70cf9c39eb68f8eeb6b 2250 coq-relation-algebra_1.7.11-1build9.dsc
 ae41e3521c0a84f33c728ddb51346eb4bf537d9a 2464 coq-relation-algebra_1.7.11-1build9.debian.tar.xz
 2a47ea2376be5ccb4e6c868bc69512be92080ac8 6910 coq-relation-algebra_1.7.11-1build9_source.buildinfo
Checksums-Sha256:
 ee124d8474e13ab26d7bd9afa915fb00c66a4b6c1b4ecdbca83d0ff36a5ab351 2250 coq-relation-algebra_1.7.11-1build9.dsc
 cf6242d7c582b1bea7b4f59b1089bfdfbf157c5bc65b457d420f815a07e4d101 2464 coq-relation-algebra_1.7.11-1build9.debian.tar.xz
 5dda3a5a7b9a3d475fb5915f1d563c86afe61990390af160644e7a6d06dff309 6910 coq-relation-algebra_1.7.11-1build9_source.buildinfo
Files:
 ccd8898370c4c7f4d266d8dc05afa09c 2250 ocaml optional coq-relation-algebra_1.7.11-1build9.dsc
 d24a3eacec23242d32122a58b4764903 2464 ocaml optional coq-relation-algebra_1.7.11-1build9.debian.tar.xz
 55c434bf8be1e107f8a0a8ab7975ed15 6910 ocaml optional coq-relation-algebra_1.7.11-1build9_source.buildinfo