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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:33:12 +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-2build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:33:12 +0100
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build5
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-2build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1f340859960ca80d9ca166b2dbf4f823006c8ac1 2108 coq-unimath_20240923-2build5.dsc
 2ac0ac73cb157f9b0b87457ea0a9c44c12369bec 2508 coq-unimath_20240923-2build5.debian.tar.xz
 e07d76a9224e9294d162ca854397e2e6f7e05d33 7871 coq-unimath_20240923-2build5_source.buildinfo
Checksums-Sha256:
 ee530d47f21ad22df3e321de1a1b8d6d71013c8d90ce7f94e795b8cec8c380ba 2108 coq-unimath_20240923-2build5.dsc
 9cc9162a4ffc02a88543c6eef7b2d319bab53eb20b5d39fc91896cbe857bba0a 2508 coq-unimath_20240923-2build5.debian.tar.xz
 b4c81ec920396ea48af6ab67de3b3803a4b116e7f73c12c0d19ebae633a3d89d 7871 coq-unimath_20240923-2build5_source.buildinfo
Files:
 435251734c8910952f3894c02890c98b 2108 ocaml optional coq-unimath_20240923-2build5.dsc
 6c92c2e1b6dc1553adec9336a21a3f16 2508 ocaml optional coq-unimath_20240923-2build5.debian.tar.xz
 3242158031239133cd8000ad5c332489 7871 ocaml optional coq-unimath_20240923-2build5_source.buildinfo