Ubuntu
mathcomp-zify package

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

Changelog

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

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:14:05 +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
Noble proposed universe misc

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-1build2.debian.tar.xz 8.5 KiB 0afe9c72b5634380a733c0e55fcbbafb4cb84231d69f1da190c72eeb6fbe3643
mathcomp-zify_1.3.0+1.12+8.13-1build2.dsc 2.1 KiB 8b3a7967048ba52cd30f86d46ac4b0a0d1bc20f6a989c3a852dcb4dbf0195c76

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.