[ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-3build5 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.10-3build5) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:42:41 +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.10-3build5
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:42:41 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-3build5
Distribution: oracular
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.10-3build5) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fa089ea2ee335bacdd7e47d56b1acc67ba52dbce 2250 coq-relation-algebra_1.7.10-3build5.dsc
 f5d0348f561c30d4bdc212bd722cf14468f5f97d 2264 coq-relation-algebra_1.7.10-3build5.debian.tar.xz
 c30cb5b7d2f79dfebf5b522a5408568dcab1ac29 7872 coq-relation-algebra_1.7.10-3build5_source.buildinfo
Checksums-Sha256:
 d7b9045aae2a628ed322d42d314bbfd72074e54ed7c4134232e8d8d90d95fa7d 2250 coq-relation-algebra_1.7.10-3build5.dsc
 53da9c74a3170823bbd8cf7d74739945f456996b8e62be60df38d1ef6cb23002 2264 coq-relation-algebra_1.7.10-3build5.debian.tar.xz
 89d09d1332d2f74d92ff3977be6a381d9e93576ab27200849482c056ec594c8a 7872 coq-relation-algebra_1.7.10-3build5_source.buildinfo
Files:
 b161591843b2e2e11324cb9dca6cd409 2250 ocaml optional coq-relation-algebra_1.7.10-3build5.dsc
 0da7e920fdc29b881e2f9aaf1480c245 2264 ocaml optional coq-relation-algebra_1.7.10-3build5.debian.tar.xz
 80b019bcb403127e106387f5690a6bda 7872 ocaml optional coq-relation-algebra_1.7.10-3build5_source.buildinfo