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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 04 Nov 2023 20:14:13 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:14:13 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-4build2
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-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1bfb7901595d675520439dcc88ffd023e95bf382 2165 coq-extructures_0.3.1-4build2.dsc
 c408f6e9a6e3d5e68738ff21bbc23094c4fffdcf 2144 coq-extructures_0.3.1-4build2.debian.tar.xz
 3025af269d838ddbd573f7bde9e5c3ab2f516598 7828 coq-extructures_0.3.1-4build2_source.buildinfo
Checksums-Sha256:
 37d185d4bc1da9ad915615812b4801582efc6e0570f4992d6f5eb84236a3789a 2165 coq-extructures_0.3.1-4build2.dsc
 5b80ecbd60f3f4b1f7bbf1e43f11361cfd76df7783551ad9ea2fa94b38867f73 2144 coq-extructures_0.3.1-4build2.debian.tar.xz
 c146cc28e542ef105fbb8fd0bd68cb7e7929dcbbdc467ae250abee093cc1fe49 7828 coq-extructures_0.3.1-4build2_source.buildinfo
Files:
 6af67783c2723c40da0aa3d7c4da8070 2165 ocaml optional coq-extructures_0.3.1-4build2.dsc
 b51380630a9aad2a37a173391b77ecae 2144 ocaml optional coq-extructures_0.3.1-4build2.debian.tar.xz
 4bb9e0052244a357d29440d38fec4817 7828 ocaml optional coq-extructures_0.3.1-4build2_source.buildinfo