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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:34:10 +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-3build3
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:34:10 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-3build3
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-3build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 754eea85b3a0d19fd12eeb088a063d57e3bcd3ae 2165 coq-extructures_0.4.0-3build3.dsc
 d7d0041b26cccac0406ca5066dab9924ed86f4d5 2380 coq-extructures_0.4.0-3build3.debian.tar.xz
 101ba947b48c8f585ab9ebb0742cbcc67fdc443d 7848 coq-extructures_0.4.0-3build3_source.buildinfo
Checksums-Sha256:
 847363e2f325233419217ec493a00e48ac7ac3396630916cee3f9b57c383ac4a 2165 coq-extructures_0.4.0-3build3.dsc
 003eb1067b115091a6e6c949a06440ad0149ba3156cecba088d2d71ac701647c 2380 coq-extructures_0.4.0-3build3.debian.tar.xz
 11156adcc760a1c07f01fd6af6ff4cdafb005d913b5ae099f397c402da79cc90 7848 coq-extructures_0.4.0-3build3_source.buildinfo
Files:
 0a2b8ae5b088211e79520d9330f2af5f 2165 ocaml optional coq-extructures_0.4.0-3build3.dsc
 d25ab124976b50fc3829d1c55aa50db5 2380 ocaml optional coq-extructures_0.4.0-3build3.debian.tar.xz
 581441eb68da8c494629e20e0834867c 7848 ocaml optional coq-extructures_0.4.0-3build3_source.buildinfo