[ubuntu/mantic-proposed] coq-extructures 0.3.1-3build3 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.3.1-3build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:43:56 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:43:56 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-3build3
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-3build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f27c3387b5d8153f94c4de8067ba97497954b1d4 2165 coq-extructures_0.3.1-3build3.dsc
 165328569985e6eb334b28c7c562ec55e13e7688 2120 coq-extructures_0.3.1-3build3.debian.tar.xz
 f9f29d567aca63f7633c57c7785e58377f0dec3e 7223 coq-extructures_0.3.1-3build3_source.buildinfo
Checksums-Sha256:
 86eebc8d19fd11f4dd29fe1071689a6a4535da5c060d3b397ddc0c6014f1b85e 2165 coq-extructures_0.3.1-3build3.dsc
 20e916028d0bdfebd578e497c42188da3a52cf9818a9b1f4111e0ac3fb562d8d 2120 coq-extructures_0.3.1-3build3.debian.tar.xz
 7723ebd17116ae2f8eafdea5ed35aa85b46b23145f78480098a0024790b2a0da 7223 coq-extructures_0.3.1-3build3_source.buildinfo
Files:
 b9ef25b4bd76eafb290ff3422e8d71b2 2165 ocaml optional coq-extructures_0.3.1-3build3.dsc
 64e12e15d5515b35a2dc39a3272c9fdb 2120 ocaml optional coq-extructures_0.3.1-3build3.debian.tar.xz
 dca9a2e9fca5c5d0fc4406ef3a36f6a7 7223 ocaml optional coq-extructures_0.3.1-3build3_source.buildinfo