[ubuntu/questing-proposed] coq-unimath 20240923-2build4 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20240923-2build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:29:03 +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/20240923-2build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:29:03 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240923-2build4
Distribution: questing
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-2build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8c336548b5e9cc72e328cc4591af2e5c23ecc398 2108 coq-unimath_20240923-2build4.dsc
 69000a4ee4d0428048557b61d337e6506ffef4ba 2488 coq-unimath_20240923-2build4.debian.tar.xz
 f1dd3501033a9b159f8133603b0beed0ebc0d05c 6878 coq-unimath_20240923-2build4_source.buildinfo
Checksums-Sha256:
 861c3b25b9200f3485dd74f7455f9e3ea0716e60e9556a4539719a15e8dea218 2108 coq-unimath_20240923-2build4.dsc
 1cb619027c9d8aa663342e8ddc99b5565fe9ee315f8f0bb8ee26a177b779e858 2488 coq-unimath_20240923-2build4.debian.tar.xz
 f4d80bbf008210415d19cda6b26a8e8e25615f001286f9ed607b81c1c1da4055 6878 coq-unimath_20240923-2build4_source.buildinfo
Files:
 bf89f62aee33dbadaabe015c3ed9a459 2108 ocaml optional coq-unimath_20240923-2build4.dsc
 32ede69a183427e999e201e14d4d0daf 2488 ocaml optional coq-unimath_20240923-2build4.debian.tar.xz
 34296e2391d1915e611e55e1eb213667 6878 ocaml optional coq-unimath_20240923-2build4_source.buildinfo