[ubuntu/noble-proposed] coq-extructures 0.3.1-4build4 (Accepted)

[Jeremy Bícha]

coq-extructures (0.3.1-4build4) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:17:17 -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.3.1-4build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:17:17 -0500
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-4build4
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.3.1-4build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 6155f35eb620fb350798c7111ea786d8b17bd59b 2165 coq-extructures_0.3.1-4build4.dsc
 699e0865df7d2a99275c2db82b5def730103a143 2212 coq-extructures_0.3.1-4build4.debian.tar.xz
 c0fbf1cc657706fe50f81fd9f60d7d0e2cd80318 7284 coq-extructures_0.3.1-4build4_source.buildinfo
Checksums-Sha256:
 1b30b64f99e9ad819eccab0860d7d9c4ab1c633a6423f7ff0f81e72a3c0e9be8 2165 coq-extructures_0.3.1-4build4.dsc
 fe31c166eb01d30dc928b5ce9a1a06f3a7e48574e0c181938243d3300d89d39c 2212 coq-extructures_0.3.1-4build4.debian.tar.xz
 514e3a41818c0433f87f219b8319566db8c2b9220eba46849e5bb09fcbe088e2 7284 coq-extructures_0.3.1-4build4_source.buildinfo
Files:
 e99916dbc526799ccb1fcf9da04dabb4 2165 ocaml optional coq-extructures_0.3.1-4build4.dsc
 3526534291f40b54f8dbd2ddbfc6c9f9 2212 ocaml optional coq-extructures_0.3.1-4build4.debian.tar.xz
 24a28e6093104eaec6f4dbc5c2fb91a3 7284 ocaml optional coq-extructures_0.3.1-4build4_source.buildinfo