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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:47:29 +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-1build10
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:47:29 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build10
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-1build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 84b03b4095c0f01e37328898c406d317e3ae9d89 2254 coq-relation-algebra_1.7.11-1build10.dsc
 ccda332f5b14592381614dd08f3a1f7d7ed1c94c 2484 coq-relation-algebra_1.7.11-1build10.debian.tar.xz
 617d30e31161fedf7d0729e494f45c99d5e1d20b 6916 coq-relation-algebra_1.7.11-1build10_source.buildinfo
Checksums-Sha256:
 e66eac9b56e93867df1b4f9fd7f4dccf599c6796c698f584f27c43e0a641e750 2254 coq-relation-algebra_1.7.11-1build10.dsc
 c649c1cc2dfdc18bc9e8e79377315bd01f0d061d6f31d49f3420a9832ce2d8cb 2484 coq-relation-algebra_1.7.11-1build10.debian.tar.xz
 a6cc3abf6cc79bef0f05bf92ddf0ac6af06c3919ef9d69ff449056cdd198c9c5 6916 coq-relation-algebra_1.7.11-1build10_source.buildinfo
Files:
 7ce776e76dc06da14d7ed508ebb89fbf 2254 ocaml optional coq-relation-algebra_1.7.11-1build10.dsc
 aeed41e7cd7fd870c59d21c8bb5aea8c 2484 ocaml optional coq-relation-algebra_1.7.11-1build10.debian.tar.xz
 cf14e838e07b74e757da183273d0e231 6916 ocaml optional coq-relation-algebra_1.7.11-1build10_source.buildinfo