[ubuntu/oracular-proposed] coq-unimath 20240331-1build3 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20240331-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:35:42 +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-unimath/20240331-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:35:42 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-1build3
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-unimath (20240331-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7a22e88b9e6ac7793af9c5b722773fdc3a846499 2108 coq-unimath_20240331-1build3.dsc
 fa4fc8847f8f0de6a78a3533e29fc01899ee60cf 2220 coq-unimath_20240331-1build3.debian.tar.xz
 f4a30a08c53bed34f796729eec0f42b782ab05c1 7844 coq-unimath_20240331-1build3_source.buildinfo
Checksums-Sha256:
 6f7138d0275097a6bc131359cb0fd8b15c57ad4f70ade12a7e4a9d2074d27652 2108 coq-unimath_20240331-1build3.dsc
 3d3f0d614d66d87f357f3a44d0d2cd9dce5bc46bdbbbee157832ac98161a127a 2220 coq-unimath_20240331-1build3.debian.tar.xz
 458976897b85a27e080594b0fd0173b9a58a8a3c64277570173165610104bd4d 7844 coq-unimath_20240331-1build3_source.buildinfo
Files:
 62d2b25d3a0804d1cae8b9583ab9ecf1 2108 ocaml optional coq-unimath_20240331-1build3.dsc
 970d47ae8c3b3c371e47618d42a093df 2220 ocaml optional coq-unimath_20240331-1build3.debian.tar.xz
 3acfc02f4457444685e71b053d021605 7844 ocaml optional coq-unimath_20240331-1build3_source.buildinfo