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/top-level | |
parent | d7de6dad5fc4de83ca4c8fac93bd1a0243c45f71 (diff) | |
download | nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.gz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.bz2 nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.lz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.xz nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.tar.zst nixlib-9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b.zip |
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/top-level')
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index b62ec4e65153..66c2d519ff6f 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -13878,6 +13878,8 @@ let }; }; + gappa = callPackage ../applications/science/logic/gappa { }; + ginac = callPackage ../applications/science/math/ginac { }; hol = callPackage ../applications/science/logic/hol { }; |