Ubuntu
mathcomp-zify package

mathcomp-zify 1.5.0+2.0+8.16-3build6 source package in Ubuntu

Changelog

mathcomp-zify (1.5.0+2.0+8.16-3build6) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 11 Sep 2024 21:49:57 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Oracular
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.5.0+2.0+8.16.orig.tar.gz 20.6 KiB 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c
mathcomp-zify_1.5.0+2.0+8.16-3build6.debian.tar.xz 8.7 KiB 4872cc4dec13a029234ae1ca9d323340e723c494a7548714a129db70e127b389
mathcomp-zify_1.5.0+2.0+8.16-3build6.dsc 2.1 KiB 08fedc56290fc53ce41894337515264ae68f6e313d7ced9a9cd6e13dfd7f6813

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.