[ubuntu/plucky-proposed] coq-unimath 20240923-2build2 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20240923-2build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:36:11 +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-unimath/20240923-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:36:11 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build2
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-unimath (20240923-2build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 cc43a22d1611e064e2633eba0c0ffe68aba20138 2108 coq-unimath_20240923-2build2.dsc
 1145e1019db092ca55efd9d3d9e632e5f0a641ea 2412 coq-unimath_20240923-2build2.debian.tar.xz
 8bdce7e56e41354c4ac5b1fe1efe3e432e7519ae 7315 coq-unimath_20240923-2build2_source.buildinfo
Checksums-Sha256:
 482196a1997f258d34e784c4394bb851138af4fd12b86362ad4a07e1b40e02e6 2108 coq-unimath_20240923-2build2.dsc
 b4944f0f6eb9c90fdc30660fb2acaedab65ff8de15e9893b77ae0df05d06fdff 2412 coq-unimath_20240923-2build2.debian.tar.xz
 72166668cee55513caaed8e258fd6530c457930cfdd6eb7fab0606d7796d2024 7315 coq-unimath_20240923-2build2_source.buildinfo
Files:
 ca73f3f01ba47622290992dd23795b7b 2108 ocaml optional coq-unimath_20240923-2build2.dsc
 b4c9706c4d03c3124c3cf8d176019683 2412 ocaml optional coq-unimath_20240923-2build2.debian.tar.xz
 50aefd6d0e77edad6747ddbe377d2978 7315 ocaml optional coq-unimath_20240923-2build2_source.buildinfo