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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:08 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:08 +0200
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.4.0-4build2
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-4build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ad28ae0bb02a04140d24ebbe5824336b82c3b16d 2165 coq-extructures_0.4.0-4build2.dsc
 75f05ec5d2d500e6ccd76f485ecfe89e8c7e89d6 2424 coq-extructures_0.4.0-4build2.debian.tar.xz
 5ef46359310cc19d60c5da4cb8cce5b6b36a9eca 7872 coq-extructures_0.4.0-4build2_source.buildinfo
Checksums-Sha256:
 b9924f9a0137e1bb4a54993cd4d87ea9cf90ff6d87378adadaf5e4acf7ae157c 2165 coq-extructures_0.4.0-4build2.dsc
 da97890852da8f554be5f8ba1e14e6971ae2fc6f2962e707816669df06eb4fb5 2424 coq-extructures_0.4.0-4build2.debian.tar.xz
 ac54f94f0bf0a95c8926406746874ae27e7335e2b380dcac72b3c23a2c773ba7 7872 coq-extructures_0.4.0-4build2_source.buildinfo
Files:
 ae9a395eb037efe33e64e100177fce4f 2165 ocaml optional coq-extructures_0.4.0-4build2.dsc
 8cffa58f9c8418d28028b0ad7b1a7d25 2424 ocaml optional coq-extructures_0.4.0-4build2.debian.tar.xz
 b8ee143f660638fbc41a06eb6b1b5a8e 7872 ocaml optional coq-extructures_0.4.0-4build2_source.buildinfo