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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:56:04 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:56:04 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 42dff7b40671c32122424aab3e8094dd3013aa30 2160 coq-extructures_0.3.1-2build2.dsc
 6813e1298fe15abd1c4b184624edc6dcc1c4d282 2064 coq-extructures_0.3.1-2build2.debian.tar.xz
 c09a57b156f47a356586bb48527802611962ca11 7903 coq-extructures_0.3.1-2build2_source.buildinfo
Checksums-Sha256:
 4dfa653b6a47af12e872cc84f32a1928172b2b97e2bdd082ea4fa70d7f9d0979 2160 coq-extructures_0.3.1-2build2.dsc
 e6c10828637caf72f0cc8dc3b575d82677ba3872cc203e34967caf4a4449831f 2064 coq-extructures_0.3.1-2build2.debian.tar.xz
 0845e391d6b889871f633365aa1154eebbf0e696eb952bb1a735177396a3268f 7903 coq-extructures_0.3.1-2build2_source.buildinfo
Files:
 7e04a1765c84712daa2a770156027bdd 2160 ocaml optional coq-extructures_0.3.1-2build2.dsc
 3edcd4a89099b67e9619569114f05998 2064 ocaml optional coq-extructures_0.3.1-2build2.debian.tar.xz
 884ed974976f2b9c0e6488197c616a20 7903 ocaml optional coq-extructures_0.3.1-2build2_source.buildinfo