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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:12:05 +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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:12:05 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-3build1
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-3build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 734b8db97dc76433b49c3c6a006bd7b9c8c40ef1 2165 coq-extructures_0.4.0-3build1.dsc
 82651608badb0977997dd7aa489b0159c3d12b50 2348 coq-extructures_0.4.0-3build1.debian.tar.xz
 f7b206b67fb3791a1897ddb241de41c5dc0ddd96 7848 coq-extructures_0.4.0-3build1_source.buildinfo
Checksums-Sha256:
 993b91982f20fbcc152ba84473030de4a7c8df0a43d82e4e99cbcac8414b6c2d 2165 coq-extructures_0.4.0-3build1.dsc
 b015f679faf6c9bca987e9efd33a5791a4149a27450dd12beaca1e86bcd9d11f 2348 coq-extructures_0.4.0-3build1.debian.tar.xz
 583db06c94e643bc350962f70b39a1caae027f4de23d865e3abf50ba1bd3d0e7 7848 coq-extructures_0.4.0-3build1_source.buildinfo
Files:
 c368822dd81d721cb1e6835345512322 2165 ocaml optional coq-extructures_0.4.0-3build1.dsc
 4a1172efdb2f281d065994ead2222b2e 2348 ocaml optional coq-extructures_0.4.0-3build1.debian.tar.xz
 baddaf6c9b288ea6eab251dcf5a2025a 7848 ocaml optional coq-extructures_0.4.0-3build1_source.buildinfo