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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:41:10 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:41:10 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bd48a9bd9512515012aa8bbf99ea81c41f46096f 2165 coq-extructures_0.5.0-1build2.dsc
 505e8fe7d833237161a53b717f33ce9a7ab20964 2496 coq-extructures_0.5.0-1build2.debian.tar.xz
 459229986af368e81012475b5946f19998da38dc 7780 coq-extructures_0.5.0-1build2_source.buildinfo
Checksums-Sha256:
 4f1567ef392f7da00fdf85d7960e215ae1aebdff9fe1cfb5d533f8d756b13f2e 2165 coq-extructures_0.5.0-1build2.dsc
 9b4dafd4c89b6989062dd10bd2c33835d8bfb0e7d9eac5a107f6673ee0ee9463 2496 coq-extructures_0.5.0-1build2.debian.tar.xz
 48fbc943df839835fd46667b18268c18327e72a1015959ca5a205f6bf38672cf 7780 coq-extructures_0.5.0-1build2_source.buildinfo
Files:
 8fa61b80e6df0315b0c683aa25e1606c 2165 ocaml optional coq-extructures_0.5.0-1build2.dsc
 dba941e59e31524d20f02234019f7f99 2496 ocaml optional coq-extructures_0.5.0-1build2.debian.tar.xz
 127318eb97cf17ed7ea71cf285e19b4a 7780 ocaml optional coq-extructures_0.5.0-1build2_source.buildinfo