[ubuntu/noble-proposed] coq-relation-algebra 1.7.9-2build1 (Accepted)

Jeremy Bícha jbicha at ubuntu.com
Sun Jan 28 00:50:16 UTC 2024


coq-relation-algebra (1.7.9-2build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sat, 27 Jan 2024 19:48:41 -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-2build1
-------------- next part --------------
Format: 1.8
Date: Sat, 27 Jan 2024 19:48:41 -0500
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.9-2build1
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-2build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 c59a3d052c63bc67aacd635833a595c4fe224cc6 2243 coq-relation-algebra_1.7.9-2build1.dsc
 b3fd0182d27ca3ca425e058a8f5255a79a9fbdfc 2376 coq-relation-algebra_1.7.9-2build1.debian.tar.xz
 c0df7180afa08290693975675a91d98f71247564 7671 coq-relation-algebra_1.7.9-2build1_source.buildinfo
Checksums-Sha256:
 c4f49119a5bc9b16538dc872c56e75f6557bdb534d05c136ac78d13cf7f5b92b 2243 coq-relation-algebra_1.7.9-2build1.dsc
 00737dea71c0343027dce17dd8e03ae7dbe42a5c5917e02ee9782a916594c53b 2376 coq-relation-algebra_1.7.9-2build1.debian.tar.xz
 7994951bf78b7de9805b1744390ba1ef0cf6d865e68f51b7124d1b71be31aacc 7671 coq-relation-algebra_1.7.9-2build1_source.buildinfo
Files:
 cff19f3868087fe25d695aa6b9148691 2243 ocaml optional coq-relation-algebra_1.7.9-2build1.dsc
 4bb0b4973449e447a56aff5ae7e0ea9c 2376 ocaml optional coq-relation-algebra_1.7.9-2build1.debian.tar.xz
 891992552cdeea59e53cc79b0ebfecb4 7671 ocaml optional coq-relation-algebra_1.7.9-2build1_source.buildinfo


More information about the noble-changes mailing list