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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sun, 08 Sep 2024 04:44:52 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-relation-algebra/1.7.10-4build4
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Sep 2024 04:44:52 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build4
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-relation-algebra (1.7.10-4build4) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 ec5132c24e45ca5708c9a5ea1b997e9c69f8d164 2250 coq-relation-algebra_1.7.10-4build4.dsc
 2c79ce5ab87360571b3a16c93fbc555d09005228 2364 coq-relation-algebra_1.7.10-4build4.debian.tar.xz
 465314ea15b5b93d478ac41654d1349275d40b82 5740 coq-relation-algebra_1.7.10-4build4_source.buildinfo
Checksums-Sha256:
 a87e7b9d614d3e3ccbad43298acdbf352612dd20080ad3afc75443a440a3bc46 2250 coq-relation-algebra_1.7.10-4build4.dsc
 efe6154af9d23214df91b92231153db937544d0d30724369a7e541b54e166516 2364 coq-relation-algebra_1.7.10-4build4.debian.tar.xz
 a4f1aee12efff3650fb62bf6330b7d7e1728d871ff905c9256e4e4272bc35ddc 5740 coq-relation-algebra_1.7.10-4build4_source.buildinfo
Files:
 855fb4a7e73ff58adfbeed905cf65804 2250 ocaml optional coq-relation-algebra_1.7.10-4build4.dsc
 937edade312c99f8e44506410b3e59fc 2364 ocaml optional coq-relation-algebra_1.7.10-4build4.debian.tar.xz
 d2f75e6dae4758967e3a9a78cb673f3f 5740 ocaml optional coq-relation-algebra_1.7.10-4build4_source.buildinfo