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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Aug 2024 08:38:42 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Aug 2024 08:38:42 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20240331-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b16690395f058b65f9a0d607c5e3f487e5d88c36 2108 coq-unimath_20240331-2build1.dsc
 1b754a9eccfdd32e9c362b46eda6c037de052d43 2296 coq-unimath_20240331-2build1.debian.tar.xz
 34ac9c06fa0f34a62668d20bc6c5cf144ea04867 7868 coq-unimath_20240331-2build1_source.buildinfo
Checksums-Sha256:
 a35bb17a142281e74275d012d87706f52a85e7b07ccbefd19a7d9447ebf65b90 2108 coq-unimath_20240331-2build1.dsc
 3d8c0d20df12c6577f49a6018bdf547b5e1ff25025cc687dec73038596e5cfb6 2296 coq-unimath_20240331-2build1.debian.tar.xz
 271fbfa8da717f106fbaa58ed829640a53f99b40d941f0841e674a6c79433862 7868 coq-unimath_20240331-2build1_source.buildinfo
Files:
 96499880da745bddca8243fd51da357e 2108 ocaml optional coq-unimath_20240331-2build1.dsc
 5822a4e05289dba446527f1fbbe1f153 2296 ocaml optional coq-unimath_20240331-2build1.debian.tar.xz
 96833aa32940e8dd8ab4c0fc9b73260d 7868 ocaml optional coq-unimath_20240331-2build1_source.buildinfo