[ubuntu/noble-proposed] coq-extructures 0.4.0-1build1 (Accepted)

[Jeremy Bícha]

coq-extructures (0.4.0-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

Date: Sun, 28 Jan 2024 08:30:13 -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-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 28 Jan 2024 08:30:13 -0500
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-1build1
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-extructures (0.4.0-1build1) noble; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 7c3071d45b34b5a033f0ef841ca584a1887efb8f 2165 coq-extructures_0.4.0-1build1.dsc
 2cb4a4972aa2a160c725c665ba309b2549fe62f4 2292 coq-extructures_0.4.0-1build1.debian.tar.xz
 ed9eeaebf7dba837f481fa643cb54d69dda6b0b5 7651 coq-extructures_0.4.0-1build1_source.buildinfo
Checksums-Sha256:
 e05972a1222bf1e0f8bd3351c5b2493858511886531265f4b24fee3e889d59f9 2165 coq-extructures_0.4.0-1build1.dsc
 de432664121bcff49a4e96cf5733080e68fe7f62bc76925fedbd04f41b9a3ce8 2292 coq-extructures_0.4.0-1build1.debian.tar.xz
 c26910d60343284d9626d887a0bec0d3862ad5458b68906775b343aa00507828 7651 coq-extructures_0.4.0-1build1_source.buildinfo
Files:
 5c3263d5736e9f25d0142a1b65ed0316 2165 ocaml optional coq-extructures_0.4.0-1build1.dsc
 9a570792586ce4565f954292c9f57e28 2292 ocaml optional coq-extructures_0.4.0-1build1.debian.tar.xz
 d30721b0bb8bd65a949b4615e678eb24 7651 ocaml optional coq-extructures_0.4.0-1build1_source.buildinfo