[ubuntu/resolute-proposed] coq-unimath 20240923-2build6 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20240923-2build6) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:22 +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-2build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:22 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build6
Distribution: resolute
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-2build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0e78008745550a9e729f6bbecff5a032cdafbaa2 2108 coq-unimath_20240923-2build6.dsc
 0efde7ad37f6f21c14488435e56b53d879f2da82 2520 coq-unimath_20240923-2build6.debian.tar.xz
 de571a6a1382f5852a2d2b54a4f5e0a36e0041bf 7875 coq-unimath_20240923-2build6_source.buildinfo
Checksums-Sha256:
 69a5010269cde8ec6ef923248e32a6e2a825bdcf066af81e4cf4c6b696ef372b 2108 coq-unimath_20240923-2build6.dsc
 0704682e38f16edfbd97174efb08c591b8e7e067952a7e91328285c21947dd59 2520 coq-unimath_20240923-2build6.debian.tar.xz
 83a564f509d5fb5e2a6fad8208511ecdbf742849a36cf1ddc18f88914a882046 7875 coq-unimath_20240923-2build6_source.buildinfo
Files:
 2f3395051de3334224f268496f646efb 2108 ocaml optional coq-unimath_20240923-2build6.dsc
 df1ecc7bf5f4b6f8e1ba920890597080 2520 ocaml optional coq-unimath_20240923-2build6.debian.tar.xz
 e5c30c322763c1071dc08cee19c5c53d 7875 ocaml optional coq-unimath_20240923-2build6_source.buildinfo