[ubuntu/resolute-proposed] coq-relation-algebra 1.7.11-1build11 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.11-1build11) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:04:56 +0100
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-1build11
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:04:56 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build11
Distribution: resolute
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-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 cc51dc9e060cf90d1997b95645904a2191c77b22 2254 coq-relation-algebra_1.7.11-1build11.dsc
 39fb0ff307dce29be09e333e05f25a4b6ddc7400 2500 coq-relation-algebra_1.7.11-1build11.debian.tar.xz
 bc556df61d3a9929448b929c63e17f6ecb7e0ccb 7897 coq-relation-algebra_1.7.11-1build11_source.buildinfo
Checksums-Sha256:
 cc7dbff4c59666070f3048e42acb051f7d08b2d57252b54544d46be946dce4aa 2254 coq-relation-algebra_1.7.11-1build11.dsc
 71c060af58f0adf6f08b88d12090f462521f717bca92f909a7a0bc6a7da38f91 2500 coq-relation-algebra_1.7.11-1build11.debian.tar.xz
 3e5068e95111fbd3d93f6cff6d7bbac67c5fad2ff62cc70bc110b7d1ab41e2ef 7897 coq-relation-algebra_1.7.11-1build11_source.buildinfo
Files:
 33e010b1e9090c0d7498818e73620b1c 2254 ocaml optional coq-relation-algebra_1.7.11-1build11.dsc
 15770cc2c9a9c0522bb927af052fa54d 2500 ocaml optional coq-relation-algebra_1.7.11-1build11.debian.tar.xz
 13741850645a88ba83628795616e0b0c 7897 ocaml optional coq-relation-algebra_1.7.11-1build11_source.buildinfo