Ubuntu
mathcomp-zify package

mathcomp-zify 1.5.0+2.0+8.16-1build5 source package in Ubuntu

Changelog

mathcomp-zify (1.5.0+2.0+8.16-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:16:47 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe misc

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-1build5.debian.tar.xz 8.6 KiB cac017433f71fcdc8aacb93eea022e19b7fbf087b91751438a5acb030af3f0a5
mathcomp-zify_1.5.0+2.0+8.16-1build5.dsc 2.2 KiB 180cc6291637d3cf1696c774d0ac6348fb0c0f9f59e916ca9983bbbb091b4a8a

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.