[ubuntu/questing-proposed] coq-extructures 0.5.0-1build7 (Accepted)

[Jeremy Bícha]

coq-extructures (0.5.0-1build7) questing; urgency=medium

  * Rebuild against coq libraries

Date: Thu, 08 May 2025 13:22:59 -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-extructures/0.5.0-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 08 May 2025 13:22:59 -0400
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build7
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-extructures (0.5.0-1build7) questing; urgency=medium
 .
   * Rebuild against coq libraries
Checksums-Sha1:
 86550c38bb5a8859a52907576ed7699d62cc649e 2165 coq-extructures_0.5.0-1build7.dsc
 9a52951b38ea636d2782421b7501174d43e6077a 2580 coq-extructures_0.5.0-1build7.debian.tar.xz
 bb7abbd708857a28156b98dc6ee80dc79effaafd 6917 coq-extructures_0.5.0-1build7_source.buildinfo
Checksums-Sha256:
 ee026b2db4daa3e4e93606d5da6afecec6f9be9d30519ebaf701ea96c88a464c 2165 coq-extructures_0.5.0-1build7.dsc
 f1bfc5b9571d0a5d54438e2b826b5dac85e7d21895458ae437224a1d48b79df6 2580 coq-extructures_0.5.0-1build7.debian.tar.xz
 f80f8564ec81b2d27e7e60c8ef9a1d721aba1533a7b9d2abf16b7326cbd8c9a0 6917 coq-extructures_0.5.0-1build7_source.buildinfo
Files:
 72bbe47a61f10ee74256893478e61b98 2165 ocaml optional coq-extructures_0.5.0-1build7.dsc
 d54a8d9545f2df29b7eee00f9251b347 2580 ocaml optional coq-extructures_0.5.0-1build7.debian.tar.xz
 71225d30eee13acecc474f6b612ed986 6917 ocaml optional coq-extructures_0.5.0-1build7_source.buildinfo