[ubuntu/oracular-proposed] coq-extructures 0.4.0-3build2 (Accepted)

[Gianfranco Costamagna]

coq-extructures (0.4.0-3build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:22:50 +0200
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.4.0-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:22:50 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-3build2
Distribution: oracular
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.4.0-3build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 45886f17a83f127f993c3808835ac16ad5e49cf0 2165 coq-extructures_0.4.0-3build2.dsc
 b806f71b47eaeb0d14979bc61dc22f06a0c24874 2360 coq-extructures_0.4.0-3build2.debian.tar.xz
 56cd08fbfd85c596c8525d2335700792d15a71f9 7848 coq-extructures_0.4.0-3build2_source.buildinfo
Checksums-Sha256:
 a9d0d6d4da012deec5dcdd255819683792037497755175b1208d9c27ad829101 2165 coq-extructures_0.4.0-3build2.dsc
 fd7748c064cf7a5996ecbf3fd752520424d75b8825a177a53d30a054b09005c7 2360 coq-extructures_0.4.0-3build2.debian.tar.xz
 f6782f49bcd42d505bbe10dd046792b8096a877b9fc44c6db7f6bbda0eb620af 7848 coq-extructures_0.4.0-3build2_source.buildinfo
Files:
 99cf03e918f3e657ef9da5ab7d99ee2a 2165 ocaml optional coq-extructures_0.4.0-3build2.dsc
 e855a8293154b1022d60b0278db2184f 2360 ocaml optional coq-extructures_0.4.0-3build2.debian.tar.xz
 ac931bf1b48120986aa2b5222e8e2563 7848 ocaml optional coq-extructures_0.4.0-3build2_source.buildinfo