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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:43:47 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-extructures/0.3.1-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:43:47 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-4build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-extructures (0.3.1-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 28bd52ed1e728d7f54a32003ae171bb71d81c64e 2165 coq-extructures_0.3.1-4build3.dsc
 87e3c6b4d8a7104d56e5675987c247387c6614b9 2160 coq-extructures_0.3.1-4build3.debian.tar.xz
 7766871d2d88c98eaae4a97f74224bae52b6cf3d 7828 coq-extructures_0.3.1-4build3_source.buildinfo
Checksums-Sha256:
 8243b03e1898484b71762af60cb92ab6aa898a8571ce64da52644cd5037835fe 2165 coq-extructures_0.3.1-4build3.dsc
 ba060369098c759c0d11f6ffba8d4dab5b5dd31b0a448fa893b3b49c6056f225 2160 coq-extructures_0.3.1-4build3.debian.tar.xz
 5fd9f8093f09bcd09d53db03d430b68373985c7719f45b80c70f39f776cb8243 7828 coq-extructures_0.3.1-4build3_source.buildinfo
Files:
 508283a350a23bdd2e5f90ad5477a460 2165 ocaml optional coq-extructures_0.3.1-4build3.dsc
 40aea3af2cfd894218e3dd587344d13b 2160 ocaml optional coq-extructures_0.3.1-4build3.debian.tar.xz
 2329763e413f98445d2fd4a38b935132 7828 ocaml optional coq-extructures_0.3.1-4build3_source.buildinfo