[ubuntu/mantic-proposed] coq-unimath 20230420-1build1 (Accepted)

[Gianfranco Costamagna]

coq-unimath (20230420-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:43:10 +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/20230420-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:43:10 +0200
Source: coq-unimath
Built-For-Profiles: noudeb
Architecture: source
Version: 20230420-1build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-unimath (20230420-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e2ee7ce43f11ffd5bc20bda9a2cd3809b8f1eb2f 2098 coq-unimath_20230420-1build1.dsc
 9230ad9ac72c2ba5998643361e02da4aa807b98f 1884 coq-unimath_20230420-1build1.debian.tar.xz
 a1f80b446d052d310046023a7032b8bf786975f7 7219 coq-unimath_20230420-1build1_source.buildinfo
Checksums-Sha256:
 ec924be9d207212fee75858c791e6a560eca0069c56e69cc8c5e51285a47b3f7 2098 coq-unimath_20230420-1build1.dsc
 e75b0434e03c7f2b3b24c830d9b0ad9cb505b87467d588dbb13d893270c9f709 1884 coq-unimath_20230420-1build1.debian.tar.xz
 7b0d0c38f87deb475bc397df96c25544c74567a9fb02eca4e7228abe6968f650 7219 coq-unimath_20230420-1build1_source.buildinfo
Files:
 6a83415a23b603fe7ddba4bebba40a5a 2098 ocaml optional coq-unimath_20230420-1build1.dsc
 2d0b8256a3bb2c68ed018bd6a91f8ee9 1884 ocaml optional coq-unimath_20230420-1build1.debian.tar.xz
 8c669368028a9cec6b27f0b46bd6e115 7219 ocaml optional coq-unimath_20230420-1build1_source.buildinfo