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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 14 May 2024 12:00:33 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Tue, 14 May 2024 12:00:33 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-3build3
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d2f73b55b6307355f2900da596701f91b1f2ae0d 2250 coq-relation-algebra_1.7.10-3build3.dsc
 4d008d973ab9a9164834c91a143358e32d3d4a1d 2244 coq-relation-algebra_1.7.10-3build3.debian.tar.xz
 78feb7410c1c2e66c5e4e714ebf70e23ba6ccc56 7872 coq-relation-algebra_1.7.10-3build3_source.buildinfo
Checksums-Sha256:
 fb93aab9bbca59265cf7176eb6bf60ebae5ee265b94e9cc641e6d22e7f2c4845 2250 coq-relation-algebra_1.7.10-3build3.dsc
 50d718249603757f9957dcf0562225488e8193c06fdf51302f0df24e5c9d8c28 2244 coq-relation-algebra_1.7.10-3build3.debian.tar.xz
 7073df3c6669b1efa2ea5943001dea266d94dda3e45c5ab876da0df165c5a19d 7872 coq-relation-algebra_1.7.10-3build3_source.buildinfo
Files:
 e9c905ac27dd74b4a088a272b3007695 2250 ocaml optional coq-relation-algebra_1.7.10-3build3.dsc
 8e9b3eb338dfee9bbd6d33c960a881f8 2244 ocaml optional coq-relation-algebra_1.7.10-3build3.debian.tar.xz
 ba75fa7217e7ba56db503e42f1111a6a 7872 ocaml optional coq-relation-algebra_1.7.10-3build3_source.buildinfo