[ubuntu/oracular-proposed] coq-relation-algebra 1.7.10-4build6 (Accepted)

[Gianfranco Costamagna]

coq-relation-algebra (1.7.10-4build6) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 17 Sep 2024 17:51:50 +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-4build6
-------------- next part --------------
Format: 1.8
Date: Tue, 17 Sep 2024 17:51:50 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build6
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-4build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c4c34c6a7b25f596dfd10410d12f801357c553bc 2250 coq-relation-algebra_1.7.10-4build6.dsc
 7cf4349b3886830cbb83aaaa789acc1419221c76 2388 coq-relation-algebra_1.7.10-4build6.debian.tar.xz
 a3a1328193ba44bbba5ed9e4869d2d6915b37513 7896 coq-relation-algebra_1.7.10-4build6_source.buildinfo
Checksums-Sha256:
 c1a9ccefad746cd8079af1364be547d045f6ad26be13d0615cb788cdefeb2c57 2250 coq-relation-algebra_1.7.10-4build6.dsc
 1a5bf9cb01d25b527f8c1fe80a636677c4b76af130f9055dff8f698d12b14887 2388 coq-relation-algebra_1.7.10-4build6.debian.tar.xz
 90f5bb297410086fc26c04132811898360c361e836d2c209575706a5e3db30c5 7896 coq-relation-algebra_1.7.10-4build6_source.buildinfo
Files:
 ecc57a9484cd9d01ee92998aee3acf19 2250 ocaml optional coq-relation-algebra_1.7.10-4build6.dsc
 87ac5282b530ae368ea499c6e4073cd3 2388 ocaml optional coq-relation-algebra_1.7.10-4build6.debian.tar.xz
 c4cdc750a9b80c3bdc0b7d75aff84608 7896 ocaml optional coq-relation-algebra_1.7.10-4build6_source.buildinfo