diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-22 09:12:52 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-05-25 19:32:09 +0200 |
| commit | 9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b (patch) | |
| tree | ae5cf3d14b11176b5bd2199ef3e82353b6d8f807 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | d7de6dad5fc4de83ca4c8fac93bd1a0243c45f71 (diff) | |
Adds gappa 1.2.0
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
Homepage: http://gappa.gforge.inria.fr/
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions