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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 10:55:58 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 10:55:58 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1def62275c249e1b329eb7377651a036fdf1ad76 2165 coq-extructures_0.3.1-3build1.dsc
 5787b3499a6cdc9421f5c99a62b9f2c865f1e1da 2092 coq-extructures_0.3.1-3build1.debian.tar.xz
 0ccefd35895d8ceccffb5f88a81b88cf7c111117 7168 coq-extructures_0.3.1-3build1_source.buildinfo
Checksums-Sha256:
 bd4bafcd8a946b0d2ccaa5b4de8ed196e8eab64558bee682d5820e084eaa17c6 2165 coq-extructures_0.3.1-3build1.dsc
 12061db6ba18be6791cb80e2948ea682e5afc8e050e497c7d8ef006e19283d86 2092 coq-extructures_0.3.1-3build1.debian.tar.xz
 f37f02086af304ecc3c5196d9e5a8dc8b2f1c646faa921610d5984f7a450e065 7168 coq-extructures_0.3.1-3build1_source.buildinfo
Files:
 d10bcf722c18cb5ddf388730bee8abd1 2165 ocaml optional coq-extructures_0.3.1-3build1.dsc
 cbd8c5f0ffbbb1b0d5a13b0a2457ab21 2092 ocaml optional coq-extructures_0.3.1-3build1.debian.tar.xz
 b551cabe2690e965e835082ab47c8626 7168 ocaml optional coq-extructures_0.3.1-3build1_source.buildinfo