Ubuntu
mathcomp-zify package

mathcomp-zify 1.3.0+1.12+8.13-1build1 source package in Ubuntu

Changelog

mathcomp-zify (1.3.0+1.12+8.13-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 24 Jul 2023 19:06:58 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Mantic
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz 20.0 KiB 00a42aae961a5fdc5b3f8b80150065a3401dd188d2f8f42cdcff31520a687578
mathcomp-zify_1.3.0+1.12+8.13-1build1.debian.tar.xz 8.4 KiB 70a9127df4bc2c5214b94a2d7227e3a11296ffee5e86d1ec7c51a12604d9047a
mathcomp-zify_1.3.0+1.12+8.13-1build1.dsc 2.1 KiB bf7be84e6a8c0d4c6230eff777b16f7911ee22cf7a9f86967a4eeb57066e8246

View changes file

Binary packages built by this source

libcoq-mathcomp-zify: Micromega arithmetic solvers for Mathematical Components

 This package enables the use of the micromega arithmetic solvers
 of Coq for goals stated with the Mathematical Components library,
 by extending the zify tactic.
 .
 The Mathematical Components library is a coherent repository of
 general-purpose formalized mathematical theories for the
 Coq proof assistant.