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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 09:04:26 +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-4build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 09:04:26 +0200
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.10-4build3
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-4build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 f53905511db5a3361cf0fbb968798e0714ddd4c5 2250 coq-relation-algebra_1.7.10-4build3.dsc
 ede6c9a3899b34b8ea7585089b2874c395d21e86 2360 coq-relation-algebra_1.7.10-4build3.debian.tar.xz
 ea00dc301483543305b722d4650db4ccec783ac2 5740 coq-relation-algebra_1.7.10-4build3_source.buildinfo
Checksums-Sha256:
 13df3c187130961e420f08a66fdc1e19dac9e0180d6819d8495358717478ffd1 2250 coq-relation-algebra_1.7.10-4build3.dsc
 742aa6ca38c42812628d30f0b0e2da64af099c253242583623fd7e79f6440b51 2360 coq-relation-algebra_1.7.10-4build3.debian.tar.xz
 829ab98d229756cb10bc6b482deb44ae081f585798a4e0237d8e35299c4d2a09 5740 coq-relation-algebra_1.7.10-4build3_source.buildinfo
Files:
 8b01fefe8d03867f3378c15e907c9627 2250 ocaml optional coq-relation-algebra_1.7.10-4build3.dsc
 4409f355fb04de7fff5fbce15e5ba184 2360 ocaml optional coq-relation-algebra_1.7.10-4build3.debian.tar.xz
 7a95b8bfba0880e9aeea57ee768645e7 5740 ocaml optional coq-relation-algebra_1.7.10-4build3_source.buildinfo