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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 07:59:34 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 07:59:34 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-2build3
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-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6dbd11c61d0f9b46e575e143ec1bfc4323f798b6 2160 coq-extructures_0.3.1-2build3.dsc
 a640d3327297dedb10264d3b5382a1adf8a2bb19 2080 coq-extructures_0.3.1-2build3.debian.tar.xz
 2411dcae9f59e020d89064f2cbd7f34e054e1d8b 7124 coq-extructures_0.3.1-2build3_source.buildinfo
Checksums-Sha256:
 d06720ee6fb5e20cff0b7fe3a7275f6f5690017cf40d6a37cfa017a536fd6cc6 2160 coq-extructures_0.3.1-2build3.dsc
 2e48413f132308ca43aa59b753cff3f0ca49456779fc44f8ee301ec112421aae 2080 coq-extructures_0.3.1-2build3.debian.tar.xz
 9e639e980add569d5588c0a7b1e524484cb2afc14b17e56d8756b6db8a88a5d8 7124 coq-extructures_0.3.1-2build3_source.buildinfo
Files:
 45a438931ebef811b1e4438fd27d1769 2160 ocaml optional coq-extructures_0.3.1-2build3.dsc
 d6148cc01000a16a5e837491dd798e03 2080 ocaml optional coq-extructures_0.3.1-2build3.debian.tar.xz
 00d08bdc7299ad2dc10f7d45a46b7ee7 7124 ocaml optional coq-extructures_0.3.1-2build3_source.buildinfo