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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:10:38 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:10:38 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 29eadf19ec09e471b7c2f67f587ec1b2ed8e0e9c 2108 coq-unimath_20240331-1build1.dsc
 0aa45ff091c6afc77fe0d0cebccf512e30928e04 2188 coq-unimath_20240331-1build1.debian.tar.xz
 7760bf277edbf55ca196e23d330d4f886dbec109 7844 coq-unimath_20240331-1build1_source.buildinfo
Checksums-Sha256:
 3c1af5b4c4617a9d99fcd1b601eb3ac887c4ea4e8efc57c3b652579d3e0ca286 2108 coq-unimath_20240331-1build1.dsc
 b0f80a4e0058718ffeefa0d541f4ddd6edf579283dcf745ed1f304a6610b9ec2 2188 coq-unimath_20240331-1build1.debian.tar.xz
 f1df8a78af4bf8c4ed858c278ce40d5609baa819a886f73ed187fdbd65cbadce 7844 coq-unimath_20240331-1build1_source.buildinfo
Files:
 999ca9cd715caa6a87b2e77a6329e13e 2108 ocaml optional coq-unimath_20240331-1build1.dsc
 7382f0d34cc96f4fcd18993e4ed55179 2188 ocaml optional coq-unimath_20240331-1build1.debian.tar.xz
 98d57923909fd4a7c5b9051eedc86d84 7844 ocaml optional coq-unimath_20240331-1build1_source.buildinfo