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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:25:58 +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.4.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:25:58 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-1build2
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.4.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1227f5de146b7f5456d01299d937d0f50b92cd3d 2165 coq-extructures_0.4.0-1build2.dsc
 a65505e41b366d8835dec7fa0dc8f4abfd6c58c1 2348 coq-extructures_0.4.0-1build2.debian.tar.xz
 d7352697f430ec2a772fe49827fd0b2236fa5e2b 7831 coq-extructures_0.4.0-1build2_source.buildinfo
Checksums-Sha256:
 f8d3e888e1cf4e14baec9db51c090ee0c7c6fd608b3adfd8ba9da86f0499a354 2165 coq-extructures_0.4.0-1build2.dsc
 2c1fc0616582b2449d26089481cc260202b43853c3427c30539ad04ea75626c9 2348 coq-extructures_0.4.0-1build2.debian.tar.xz
 f009a4b11c856aff87ca73a34090e4a4cab7391c1feaa32ab111491703a7318a 7831 coq-extructures_0.4.0-1build2_source.buildinfo
Files:
 5b1cfa8490d15970eaa11b1c807b57a1 2165 ocaml optional coq-extructures_0.4.0-1build2.dsc
 9ce719fb587cc88c20e6172833d3c964 2348 ocaml optional coq-extructures_0.4.0-1build2.debian.tar.xz
 50c2f698d6fb3b2ed2a5a0556c47ba5f 7831 ocaml optional coq-extructures_0.4.0-1build2_source.buildinfo