[ubuntu/noble-proposed] coq-relation-algebra 1.7.9-1build4 (Accepted)

[Jeremy Bícha]

coq-relation-algebra (1.7.9-1build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 07:22:00 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-relation-algebra/1.7.9-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 07:22:00 -0500
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-1build4
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-relation-algebra (1.7.9-1build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 d70071dcbb4afbb7a1f8aac42754e29769df744e 2233 coq-relation-algebra_1.7.9-1build4.dsc
 10392e4433b099a8e4ea648ba2a7b159dd751e8e 2064 coq-relation-algebra_1.7.9-1build4.debian.tar.xz
 2b08bf1fef6f9b4a61dded6cf692caeb20de85cf 7304 coq-relation-algebra_1.7.9-1build4_source.buildinfo
Checksums-Sha256:
 e7654c3668771fa2836d162e01c7147eee66260ac41a17c8b560ccc552211fa6 2233 coq-relation-algebra_1.7.9-1build4.dsc
 79bbd6b3d3f60a3792e116b7c86e328afed6861c98f8b0816d8b6a5bd0d62075 2064 coq-relation-algebra_1.7.9-1build4.debian.tar.xz
 95145018315bcca6d72fed1e9b319ff124c3e0a008dbf2f3b8f4bdca145c8934 7304 coq-relation-algebra_1.7.9-1build4_source.buildinfo
Files:
 8721cdf31fc3fb7d8dd1ae38d51ea085 2233 ocaml optional coq-relation-algebra_1.7.9-1build4.dsc
 aa7580df505d6fc7628b74da9c5e055d 2064 ocaml optional coq-relation-algebra_1.7.9-1build4.debian.tar.xz
 dc8c0574dfd5235736561c1189372c4f 7304 ocaml optional coq-relation-algebra_1.7.9-1build4_source.buildinfo