[ubuntu/oracular-proposed] coq-extructures 0.4.0-3build4 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.4.0-3build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:42:10 +0200
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-3build4
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:42:10 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-3build4
Distribution: oracular
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-3build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c4932829668cca29abd1c2d7003ab9d3e49bdf59 2165 coq-extructures_0.4.0-3build4.dsc
 335a7dfd2e2f963b1a9a2e1f25affcf2f1b95043 2388 coq-extructures_0.4.0-3build4.debian.tar.xz
 48d8359f856d4fcb1647749e93821c2fe464696c 7848 coq-extructures_0.4.0-3build4_source.buildinfo
Checksums-Sha256:
 4f980295edd9cbab68518769ff9f55c59f04e5999f17935d34c2e97fc15fbef0 2165 coq-extructures_0.4.0-3build4.dsc
 0aad499854b7a014c7ced4da6efb49e78ebbd08ce5cc747779173669376ebcf6 2388 coq-extructures_0.4.0-3build4.debian.tar.xz
 26bb407f4ecdad094ab14d7cdc8bdec17da3a26db99a0493691afc0434db5b7b 7848 coq-extructures_0.4.0-3build4_source.buildinfo
Files:
 27c3c21999a5767340f85e8784f6c172 2165 ocaml optional coq-extructures_0.4.0-3build4.dsc
 7e159dea7eac4e95a2d086219854d876 2388 ocaml optional coq-extructures_0.4.0-3build4.debian.tar.xz
 9ff16d7efac483a4f746417ee0539b19 7848 ocaml optional coq-extructures_0.4.0-3build4_source.buildinfo