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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:06:18 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:06:18 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build7
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-1build7) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5eaecce19331f670423a1df2aff2c9df4b89b60d 2250 coq-relation-algebra_1.7.11-1build7.dsc
 f6fc831b61003fa928180ed8a3b81492933d5a3c 2436 coq-relation-algebra_1.7.11-1build7.debian.tar.xz
 a5461734801379ff093127d2fa5706bcd1b99f15 6906 coq-relation-algebra_1.7.11-1build7_source.buildinfo
Checksums-Sha256:
 ce39c417d2a919982a9c32243226e511b9e11caa3414696d8c3d1d9777dc7b2a 2250 coq-relation-algebra_1.7.11-1build7.dsc
 e912e14b794d25f9e11f639bcc1e8f9f0f63b602cd3614718a12299b0cf78bb6 2436 coq-relation-algebra_1.7.11-1build7.debian.tar.xz
 b426966fa53321150f2b3cd24bd5601165a6d7bcc5c201b56b244591279384fc 6906 coq-relation-algebra_1.7.11-1build7_source.buildinfo
Files:
 b03c8e58cef07ba5ebcc4e7c2009b9cf 2250 ocaml optional coq-relation-algebra_1.7.11-1build7.dsc
 425baf7ab68d5feb40867b5e47a8a879 2436 ocaml optional coq-relation-algebra_1.7.11-1build7.debian.tar.xz
 5498a31dab70081203596b0fd5aaebb3 6906 ocaml optional coq-relation-algebra_1.7.11-1build7_source.buildinfo