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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:21:18 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:21:18 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-1build2
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e2ac3bbd77ab7ffdca6cdafaa34a6161d3b16b47 2108 coq-unimath_20240331-1build2.dsc
 611881be06cf8bd522684df887223a348e2c43b8 2204 coq-unimath_20240331-1build2.debian.tar.xz
 5f737d057ee615e2e4f9ca3a072e8e8288378a75 7844 coq-unimath_20240331-1build2_source.buildinfo
Checksums-Sha256:
 f9fece87d76e69316ec0b2904e0eff4701e21285ad4e2f30faa3f4924b630bb3 2108 coq-unimath_20240331-1build2.dsc
 59f9638a250f0da4a3292ddbcb188929df86a588c8406554125afb80061670dd 2204 coq-unimath_20240331-1build2.debian.tar.xz
 19561390b7844fb8e9cff571d60edf964eb6be734e497c45128e6e7a8e4d781f 7844 coq-unimath_20240331-1build2_source.buildinfo
Files:
 b6a73fd6229dfe0723b47acbb3a0a5f4 2108 ocaml optional coq-unimath_20240331-1build2.dsc
 b6be9af66f2505811881da2cbd7e8e2b 2204 ocaml optional coq-unimath_20240331-1build2.debian.tar.xz
 8e925b22fd28c62d7426de419aeca306 7844 ocaml optional coq-unimath_20240331-1build2_source.buildinfo