[ubuntu/mantic-proposed] coq-math-classes 8.15.0-4build3 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Tue Jun 13 08:45:20 UTC 2023


coq-math-classes (8.15.0-4build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:44:35 +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-math-classes/8.15.0-4build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:44:35 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-4build3
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-math-classes (8.15.0-4build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5b6a4a1b31f23bdfe135b92b26a4ae206df94fea 2163 coq-math-classes_8.15.0-4build3.dsc
 c1438f8be2cbc0222bd5e1242752d6e4ad8dcb2e 2728 coq-math-classes_8.15.0-4build3.debian.tar.xz
 95751dad908faf08c6a5a3d9f2770ea9d07693ca 7231 coq-math-classes_8.15.0-4build3_source.buildinfo
Checksums-Sha256:
 5757028ee370f7a3ea41ff6ce92e00689c47cc30227e3e612e3182a60918af1b 2163 coq-math-classes_8.15.0-4build3.dsc
 bb4d58c864af7fb28985e2e0f82d9f4d169fe7b21a2795506f02e46d3f8fb082 2728 coq-math-classes_8.15.0-4build3.debian.tar.xz
 41ddbaa6aa2372afe59798ae5caa4a11fcd18904f8e120992126adfc91db96a5 7231 coq-math-classes_8.15.0-4build3_source.buildinfo
Files:
 fd2b34f964b568a7189950a42dafed3d 2163 ocaml optional coq-math-classes_8.15.0-4build3.dsc
 9e7c9abc615c5d7ec753fb0fd1e1129a 2728 ocaml optional coq-math-classes_8.15.0-4build3.debian.tar.xz
 741934af45214abac10725e534e2932d 7231 ocaml optional coq-math-classes_8.15.0-4build3_source.buildinfo


More information about the mantic-changes mailing list