Ubuntu
coq-gappa package

coq-gappa 1.5.3-1 source package in Ubuntu

Changelog

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

  * New upstream release.
  * Bump standards-version to 4.6.2.

 -- Julien Puydt <email address hidden>  Tue, 13 Jun 2023 07:05:53 +0200

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.3-1.dsc 2.0 KiB 41a703cff1a9628568f9ebc38a63ffd35cb7a891989e066735793bea68f9fee5
coq-gappa_1.5.3.orig.tar.bz2 71.9 KiB edb3cb86bc15fe80b82e665811780ec0cf2bf3f19563707b22c765b1cb8d8c8e
coq-gappa_1.5.3-1.debian.tar.xz 2.0 KiB 523b99c5758d998e414d9525d326f6e2792deb22199777347e017479d66a7130

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