Bug#1014076: ITP: gappa -- Automatic generation of proofs of arithmetic properties

[Julien Puydt <jpuydt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian Math Team <team+math@tracker.debian.org>, jpuydt@debian.org

* Package name    : gappa
  Version         : 1.4.0
  Upstream Author : Guillaume Melquiond
* URL             : https://gappa.gitlabpages.inria.fr
* License         : GPL-3
  Programming Lang: C++
  Description     : Automatic generation of proofs of arithmetic properties
 Tool to help verify and prove properties on numerical
 programs dealing with either fixed-point or floating-point
 arithmetic.

I plan to maintain it within the Debian Math Team, where it belongs quite
naturally.

Cheers,

J.Puydt