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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:41:45 +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-1build13
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:41:45 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build13
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-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 cb5351d6177f3398c10a98a4b9412c099f6fb93c 2254 coq-relation-algebra_1.7.11-1build13.dsc
 e2ec892eba83c3328fdc16a5b50ef66b680605e0 2528 coq-relation-algebra_1.7.11-1build13.debian.tar.xz
 7bb0585ddd3d9b2083d3a4093296a53e9a137d8c 7907 coq-relation-algebra_1.7.11-1build13_source.buildinfo
Checksums-Sha256:
 f1db3be56bb3be54c82c78ed113afde6210501bc163b25a75130f9b5859af58c 2254 coq-relation-algebra_1.7.11-1build13.dsc
 aedc37cb935d504aace686fa4df2969f2370a2b3f039f73dfc6ee4060b5af5c7 2528 coq-relation-algebra_1.7.11-1build13.debian.tar.xz
 3fbd5674e6f9c43729cb0de5e44d6f293fdde21e82719c2bbbfc30aea928b0ed 7907 coq-relation-algebra_1.7.11-1build13_source.buildinfo
Files:
 bd34c6765c8ccd1c35fd148c122a3039 2254 ocaml optional coq-relation-algebra_1.7.11-1build13.dsc
 d5a3d449245882e52902cacd91513ce5 2528 ocaml optional coq-relation-algebra_1.7.11-1build13.debian.tar.xz
 38eb02ccdf4e23431f2d51bd41fbd723 7907 ocaml optional coq-relation-algebra_1.7.11-1build13_source.buildinfo