Ubuntu
mathcomp-zify package

mathcomp-zify 1.2.0+1.12+8.13-4 source package in Ubuntu

Changelog

mathcomp-zify (1.2.0+1.12+8.13-4) unstable; urgency=medium

  * Re-upload because of ABI breakage.

 -- Julien Puydt <email address hidden>  Thu, 02 Jun 2022 07:18:05 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
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.2.0+1.12+8.13-4.dsc 2.1 KiB 5f550630cd8eaa10d4c401fa4b46dadf29a5d52b6db9baca48bbd7f3af12edb6
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz 19.9 KiB a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958
mathcomp-zify_1.2.0+1.12+8.13-4.debian.tar.xz 8.3 KiB 525aa859f0972dca9c8568771f9e961a55b28ee6fec869f1a54c7ea823853891

No changes file available.

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.