[ubuntu/plucky-proposed] coq-extructures 0.5.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.5.0-1build3) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:03:02 +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.5.0-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:03:02 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build3
Distribution: plucky
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.5.0-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 02f26e1ded3b04df42b0eaa26bb7d3d77e28b4c4 2165 coq-extructures_0.5.0-1build3.dsc
 200f2652bc5f4ec0d8f9cf94bc9d541e1db8fcdb 2500 coq-extructures_0.5.0-1build3.debian.tar.xz
 2b0a1ce440fb69ce2c3c1fa137163681dd9f57a9 7780 coq-extructures_0.5.0-1build3_source.buildinfo
Checksums-Sha256:
 cb236d65f01f9113247de7b4e1c89110bfc8070f1b2975cb91da419eb77c229f 2165 coq-extructures_0.5.0-1build3.dsc
 b7c469314a5a2f8b139993106180c69f184525f7a5ee2f0bff9f4f928dc838a8 2500 coq-extructures_0.5.0-1build3.debian.tar.xz
 7e0c40b9af603e25c1bb9d316f499c272c39e3186afa22f84bb799a92a25172f 7780 coq-extructures_0.5.0-1build3_source.buildinfo
Files:
 a2d7ec26d65827660ea99168027ebb9e 2165 ocaml optional coq-extructures_0.5.0-1build3.dsc
 8b2dfb1afab2e125576b7844470a7bfb 2500 ocaml optional coq-extructures_0.5.0-1build3.debian.tar.xz
 85d2b8fa552c7b68ec8b8cee0dc93648 7780 ocaml optional coq-extructures_0.5.0-1build3_source.buildinfo