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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:30:54 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:30:54 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.1-3build2
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-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d4e736966daacb5a257e2da8ff530edc75fb7dff 2165 coq-extructures_0.3.1-3build2.dsc
 1d899c1d07852e2b0eb8dd56ee1c70107017fb6e 2104 coq-extructures_0.3.1-3build2.debian.tar.xz
 5be4209247f6e41aeab62c83c496161535c40cec 7168 coq-extructures_0.3.1-3build2_source.buildinfo
Checksums-Sha256:
 bf3299b4b177878c754466a66bc90e59f95b6014e8f545241e5adf6da4a84613 2165 coq-extructures_0.3.1-3build2.dsc
 fa6c84e4c8ad1f7bf45c3b2f58da9ebfe2fa7cf559431dfe22a51db4b00a791f 2104 coq-extructures_0.3.1-3build2.debian.tar.xz
 12c0f9b223f2ef909b0c335bf76b1b494f03b30b1ab07463b2e95f0fdc9882bf 7168 coq-extructures_0.3.1-3build2_source.buildinfo
Files:
 33ae8ca8ba4e9ea1a5e9c975aa745627 2165 ocaml optional coq-extructures_0.3.1-3build2.dsc
 68cb3c1590919a6e91a3b4d1c450ef73 2104 ocaml optional coq-extructures_0.3.1-3build2.debian.tar.xz
 283aee517a3608c8635b10228b912ff3 7168 ocaml optional coq-extructures_0.3.1-3build2_source.buildinfo