[ubuntu/lunar-proposed] coq-extructures 0.3.1-2build1 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.3.1-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:13:06 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:13:06 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-2build1
Distribution: lunar
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b411cc4bfc94f23f82836683f6c6c46c39e45a02 2160 coq-extructures_0.3.1-2build1.dsc
 a8eb8c6106bfab5d861d63ce077cb9c8fc7caa55 2044 coq-extructures_0.3.1-2build1.debian.tar.xz
 54fab3777d8ebf5fe7a7ae3753968775bb345449 7901 coq-extructures_0.3.1-2build1_source.buildinfo
Checksums-Sha256:
 a7a760e6a249ac48be1d72e3874659cbdfbffb4f9ebff3847f1478e0d53ff9f3 2160 coq-extructures_0.3.1-2build1.dsc
 0700cbe9890f192044a3f318b03418391b57535f1fc924199f2f3dcf8b940e71 2044 coq-extructures_0.3.1-2build1.debian.tar.xz
 bdaab859a9bd151f7f5fc8ed1df8e0c51519727f39f9618ee00a3c26eb81a4bf 7901 coq-extructures_0.3.1-2build1_source.buildinfo
Files:
 6dc5d864551cb33257bb41264c2ed4c1 2160 ocaml optional coq-extructures_0.3.1-2build1.dsc
 1e38ea14d0962b1545a632940dc090e7 2044 ocaml optional coq-extructures_0.3.1-2build1.debian.tar.xz
 9efb8589e01f27cdee1b3fb3b9bb7a57 7901 ocaml optional coq-extructures_0.3.1-2build1_source.buildinfo