[ubuntu/plucky-proposed] coq-relation-algebra 1.7.11-1build1 (Accepted)

[Jeremy Bícha]

coq-relation-algebra (1.7.11-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 08:42:09 -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.11-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 08:42:09 -0500
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build1
Distribution: plucky
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-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 341ceba9812f7a8c3a51a10f9d2ba77db8515a23 2250 coq-relation-algebra_1.7.11-1build1.dsc
 fb61e4a42406ca481dd97e5a1e0be2242e072ba8 2304 coq-relation-algebra_1.7.11-1build1.debian.tar.xz
 8dba449f8aab487ae62e555a110dd13888bb1296 7132 coq-relation-algebra_1.7.11-1build1_source.buildinfo
Checksums-Sha256:
 2b4755a33a7dd4f84456859adcc1725dd0aef36068f1372e70d74568f00735c2 2250 coq-relation-algebra_1.7.11-1build1.dsc
 1ef2acce9ccc5e91054ab0cc0bae197f24ab8bae8903bc7806cd154630c93fb1 2304 coq-relation-algebra_1.7.11-1build1.debian.tar.xz
 21f3ea78599796414f79d364b73d4aa83c6bb012c24b7d584626cb621b907b30 7132 coq-relation-algebra_1.7.11-1build1_source.buildinfo
Files:
 4db4533c7b5efc2903c82c15ae36454c 2250 ocaml optional coq-relation-algebra_1.7.11-1build1.dsc
 567a2e1a37de449d567872d439ff250a 2304 ocaml optional coq-relation-algebra_1.7.11-1build1.debian.tar.xz
 1911d2b01804c08507334d3978c18d40 7132 ocaml optional coq-relation-algebra_1.7.11-1build1_source.buildinfo