[ubuntu/mantic-proposed] coq-extructures 0.3.1-4build1 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.3.1-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 24 Jul 2023 19:08:44 +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.3.1-4build1
-------------- next part --------------
Format: 1.8
Date: Mon, 24 Jul 2023 19:08:44 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-4build1
Distribution: mantic
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 36b02d21881c9686e9bad14f0f60fd2d0aba1621 2165 coq-extructures_0.3.1-4build1.dsc
 94a79e25c7ebd3e444d010dc070db04520ff748d 2120 coq-extructures_0.3.1-4build1.debian.tar.xz
 ecb2a84fe123ad2a2cefb9b3f44a386b2df1a6bc 7802 coq-extructures_0.3.1-4build1_source.buildinfo
Checksums-Sha256:
 2a1bceba6ff165a61402047b75f9b439c1f1cfd5b12887a75e75eb2d72efb0ae 2165 coq-extructures_0.3.1-4build1.dsc
 de9d571df8fd8b8be0a35a99d0c3c83d4ec97ad53675127fb7d5f02ea5034045 2120 coq-extructures_0.3.1-4build1.debian.tar.xz
 89c8d66083f36a2e488bc07a9cb51072986d7e87d954b64255d0492de17d8c08 7802 coq-extructures_0.3.1-4build1_source.buildinfo
Files:
 b856d45e75e20e14c0cae830e920ebf0 2165 ocaml optional coq-extructures_0.3.1-4build1.dsc
 4cb2b34429233e4bffc0da935da5b5cd 2120 ocaml optional coq-extructures_0.3.1-4build1.debian.tar.xz
 8c65e4e95f3d498abfdbd97dced8e427 7802 ocaml optional coq-extructures_0.3.1-4build1_source.buildinfo