Ubuntu
mathcomp-zify package

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

Changelog

mathcomp-zify (1.3.0+1.12+8.13-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 00:43:14 +0100

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

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-1build3.debian.tar.xz 8.5 KiB 5f9711565385e33ad7cdf1ec3e99900e3c4af8586062bf6aecfd4a36450bed15
mathcomp-zify_1.3.0+1.12+8.13-1build3.dsc 2.1 KiB 25a8be295ad00d843cfe07c580e0bbcf2d1ca609ec755ad1817f7626c96b3da6

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.