Ubuntu
coq-gappa package

coq-gappa 1.5.4-1 source package in Ubuntu

Changelog

coq-gappa (1.5.4-1) unstable; urgency=medium

  * Fix d/rules clean target (Closes: #1044944).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 16:58:02 +0100

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
coq-gappa_1.5.4-1.dsc 2.0 KiB 91389525e78177c15ba00e36d14cf7148dd28eea858eeaac8e87717028d916a4
coq-gappa_1.5.4.orig.tar.bz2 71.8 KiB 544fd75350ecf65fee3a00fede463f3d047f0000995a0f0ecb61c1532d98cd5f
coq-gappa_1.5.4-1.debian.tar.xz 2.1 KiB bcdb899eb3a8b80d6155fbb41b69f09671a3e3d7071876c705af6f4aa93e48c3

No changes file available.

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