[ubuntu/plucky-proposed] coq-extructures 0.5.0-1build1 (Accepted)

[Jeremy Bícha]

coq-extructures (0.5.0-1build1) plucky; urgency=medium

  * Rebuild against latest coq libraries

Date: Fri, 20 Dec 2024 12:39:23 -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.5.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Dec 2024 12:39:23 -0500
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-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-extructures (0.5.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 6133f153a2b940a45210a09b81a5df11d12b9e19 2165 coq-extructures_0.5.0-1build1.dsc
 2b30059fbf39ee29ffba0227d5701e31bcdb8404 2440 coq-extructures_0.5.0-1build1.debian.tar.xz
 ee1d19f3f08ac8de5cdc10f606db819b5f15fdac 7108 coq-extructures_0.5.0-1build1_source.buildinfo
Checksums-Sha256:
 f9bdad6142478ada6b67762ba927fea5f0ae2673e38270c294aec591d23c57f0 2165 coq-extructures_0.5.0-1build1.dsc
 5ebbb6c2a4347360e1c7cf18223c371acfd565cda625588e34e41bd7e6a2d9ae 2440 coq-extructures_0.5.0-1build1.debian.tar.xz
 87a0eb2447620375ca10947605821e9d6576b0b8b22855cfb361ef38c85d9040 7108 coq-extructures_0.5.0-1build1_source.buildinfo
Files:
 e6943664a7f4ad9eab7ffa0a2277ec83 2165 ocaml optional coq-extructures_0.5.0-1build1.dsc
 7233155cae396380e38a13dd9e21841c 2440 ocaml optional coq-extructures_0.5.0-1build1.debian.tar.xz
 831fe4f48530f3b9e1afadfa07d9ae97 7108 ocaml optional coq-extructures_0.5.0-1build1_source.buildinfo