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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:35:58 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:35:58 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build8
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-1build8) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 83ccd6a8350ae5cf732b5144f8da07409d534e8c 2250 coq-relation-algebra_1.7.11-1build8.dsc
 e0b02423f2fac00538a64de44856df4e8c5ed07e 2452 coq-relation-algebra_1.7.11-1build8.debian.tar.xz
 5dc27eb6f27c74b27309da4b63bc7b258ec43efb 6906 coq-relation-algebra_1.7.11-1build8_source.buildinfo
Checksums-Sha256:
 c669f53580370e9324470ad3b02c5c2d58c84a17aa6e6a24bc34e2897dbbc43e 2250 coq-relation-algebra_1.7.11-1build8.dsc
 1dc941e185c5c027b608699ee8dc0d595b009ab545c9eed1cf29c3a6aada8523 2452 coq-relation-algebra_1.7.11-1build8.debian.tar.xz
 8b8171a5e4a742daebeabd4b24fcd3a1a09d9a1d45fe37e8a1ec62617dcd4a31 6906 coq-relation-algebra_1.7.11-1build8_source.buildinfo
Files:
 78d7378179f9a3b0a83ce3ea69b72be7 2250 ocaml optional coq-relation-algebra_1.7.11-1build8.dsc
 6bda85cf0143779163762668d70476ec 2452 ocaml optional coq-relation-algebra_1.7.11-1build8.debian.tar.xz
 3319d0e758bf970f724a9803238101df 6906 ocaml optional coq-relation-algebra_1.7.11-1build8_source.buildinfo