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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:53:42 +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-4build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:53:42 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build1
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-4build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c95fbb1d9a385394915687dee3aaf54ea5f95b15 2250 coq-relation-algebra_1.7.10-4build1.dsc
 bcbc0678bd60fcb2b4e2c8825e672111c8b6ab98 2276 coq-relation-algebra_1.7.10-4build1.debian.tar.xz
 55e6342eb3f4c87b560451996f019dfe30df97c9 7896 coq-relation-algebra_1.7.10-4build1_source.buildinfo
Checksums-Sha256:
 a56d5032fe6b9118e380f532eef569d25bb99db7717168b2915d64b162affd17 2250 coq-relation-algebra_1.7.10-4build1.dsc
 44f4511f95307d7b861452bbb6505b4367436fbed71da2a366cddbf28766e5c2 2276 coq-relation-algebra_1.7.10-4build1.debian.tar.xz
 48e44634c051693e183fa69a720ba756ed76713000d5309f554491c260ed8411 7896 coq-relation-algebra_1.7.10-4build1_source.buildinfo
Files:
 5d31ee855e37227b416b1fe714b4dee3 2250 ocaml optional coq-relation-algebra_1.7.10-4build1.dsc
 ea6e225fcc7d78a4dc0f9c1c1869031a 2276 ocaml optional coq-relation-algebra_1.7.10-4build1.debian.tar.xz
 7f4e12d9060df1d72c0b0b4da76e7aa2 7896 ocaml optional coq-relation-algebra_1.7.10-4build1_source.buildinfo