[ubuntu/plucky-proposed] coq-extructures 0.4.0-4build7 (Accepted)

[Jeremy Bícha]

coq-extructures (0.4.0-4build7) plucky; urgency=medium

  * Rebuild against latest coq

Date: Thu, 21 Nov 2024 10:28:05 -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-extructures/0.4.0-4build7
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 10:28:05 -0500
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build7
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-extructures (0.4.0-4build7) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 e6351f7a765031609be3e07523d1f2c1e823c0bc 2165 coq-extructures_0.4.0-4build7.dsc
 0cff8096b75e5b908cd04977da41bf39a06e19ab 2584 coq-extructures_0.4.0-4build7.debian.tar.xz
 8eb2cb43251543de40afd4f2b85f946649eeac36 6985 coq-extructures_0.4.0-4build7_source.buildinfo
Checksums-Sha256:
 02f557c43dc3c55a307158c6ee81c53e20648f126cc1b750e24e155913324f49 2165 coq-extructures_0.4.0-4build7.dsc
 6eaf3ea052da244dccd21b43c07e99bef6bd9ecbab804c42959c58492968576f 2584 coq-extructures_0.4.0-4build7.debian.tar.xz
 cba72f70c265cacd3e33bae157a528b0f7fa76716c4d89f43d3e173e26e1ebf5 6985 coq-extructures_0.4.0-4build7_source.buildinfo
Files:
 61aae8cf42fee0410929618bd46bfd39 2165 ocaml optional coq-extructures_0.4.0-4build7.dsc
 343a6ff6fcdf5a07d9bc2d5b15b64574 2584 ocaml optional coq-extructures_0.4.0-4build7.debian.tar.xz
 61ce2b64de0bbb110b03233dc9666cde 6985 ocaml optional coq-extructures_0.4.0-4build7_source.buildinfo