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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:28:51 +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-1build12
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:28:51 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build12
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-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 697947c6787f6ad135ead4f016b7a387e384c4e7 2254 coq-relation-algebra_1.7.11-1build12.dsc
 c1a20fc320d1f2965be3b89f87f25d4e4232c02a 2516 coq-relation-algebra_1.7.11-1build12.debian.tar.xz
 b65e74ee8437aad5d04fc270610b62878a6b15d6 7903 coq-relation-algebra_1.7.11-1build12_source.buildinfo
Checksums-Sha256:
 4d1bdfaf8552f0f4fe30f540e8d600357e2441ee0ecfb6461d49566748c1fefb 2254 coq-relation-algebra_1.7.11-1build12.dsc
 525d6f6e9b9c8834083b867f153abf8ecd6516290be86c4aa65c638b46a5e24a 2516 coq-relation-algebra_1.7.11-1build12.debian.tar.xz
 bc81e958faf78bdc2b2651949db270067619c0f3697d943e89be62774d717733 7903 coq-relation-algebra_1.7.11-1build12_source.buildinfo
Files:
 1da176eb459c6981635c164f2bf91894 2254 ocaml optional coq-relation-algebra_1.7.11-1build12.dsc
 af040ed847a23d4a8ef5465e26460ece 2516 ocaml optional coq-relation-algebra_1.7.11-1build12.debian.tar.xz
 d3cbf73e613773167498885ae20918fe 7903 ocaml optional coq-relation-algebra_1.7.11-1build12_source.buildinfo