Ubuntu
coq-gappa package

coq-gappa 1.5.4-1build1 source package in Ubuntu

Changelog

coq-gappa (1.5.4-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:13:30 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-gappa_1.5.4.orig.tar.bz2 71.8 KiB 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f
coq-gappa_1.5.4-1build1.debian.tar.xz 2.3 KiB a10db557e3f24c1d7c2740a377d65b060f5bf0e0fddeb6cd96cf9e70a25847a5
coq-gappa_1.5.4-1build1.dsc 2.1 KiB f4f333a5baa24f30e7098282a188291936d91e3d9adc74b50dfba5a8678e9203

View changes file

Binary packages built by this source

libcoq-gappa: Coq tactic to use Gappa for floating-point goals

 This package provides a Coq tactic to discharge goals about
 floating-point arithmetic and round-off errors to Gappa.
 .
 Gappa is a prover for numerical properties.
 .
 Coq is a proof assistant for higher-order logic.

libcoq-gappa-dbgsym: debug symbols for libcoq-gappa