Ubuntu
mathcomp-zify package

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

Changelog

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

  * No-change rebuild for OCaml ABIs.

 -- Matthias Klose <email address hidden>  Sun, 08 Sep 2024 04:44:46 +0200

Upload details

Uploaded by:
Matthias Klose
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-3build5.debian.tar.xz 8.7 KiB 285a273647ccb08cefbeaf9bb93aa1ba52180de7d8ffaaf484bc2e83d4866210
mathcomp-zify_1.5.0+2.0+8.16-3build5.dsc 2.1 KiB d5461bd38858f12b71708c949f56c9f2c41c7e77dd83220ba871d079cb524391

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.