[ubuntu/questing-proposed] coq-relation-algebra 1.7.11-1build6 (Accepted)

[Jeremy Bícha]

coq-relation-algebra (1.7.11-1build6) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Thu, 08 May 2025 07:25:15 -0400
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.11-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 07:25:15 -0400
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build6
Distribution: questing
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.11-1build6) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 e70bbbc2ee15ec6e76e4c165c00d32a9cd97fe3f 2250 coq-relation-algebra_1.7.11-1build6.dsc
 0f297ddc6a0f368645d9c61d5e91127b28e022dd 2420 coq-relation-algebra_1.7.11-1build6.debian.tar.xz
 e437f80cfc9002794c0aad0f9d8b53372dcc2553 6941 coq-relation-algebra_1.7.11-1build6_source.buildinfo
Checksums-Sha256:
 e289df8dd505037d59e2279d0cbf6d9d1571c4c9835f2ed266ea4d873dc7c6f4 2250 coq-relation-algebra_1.7.11-1build6.dsc
 23ad42d076d697a2ee2bea9b07a906fc5eec7b92cf1f5809ee6cee5ec1c6d30c 2420 coq-relation-algebra_1.7.11-1build6.debian.tar.xz
 6286af7e9becf969d319935c6dfa853acb953e45a5357838c1997653aa1e2660 6941 coq-relation-algebra_1.7.11-1build6_source.buildinfo
Files:
 5c21976d8fc846eb2c53251bc065a229 2250 ocaml optional coq-relation-algebra_1.7.11-1build6.dsc
 db8d97401d6c92d063afa282fb270165 2420 ocaml optional coq-relation-algebra_1.7.11-1build6.debian.tar.xz
 c5adbdc1e6c4dd8e45a6d57487a3adde 6941 ocaml optional coq-relation-algebra_1.7.11-1build6_source.buildinfo