diff options
author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-26 11:14:20 +0100 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-05-26 11:14:20 +0100 |
commit | 227bc88da682955fa0702602e9712556787983b3 (patch) | |
tree | e135b05dd164d7862c49c88945ceec2db80fab28 /pkgs/top-level | |
parent | cdb14ddafe1940459551203699e93270e1b32168 (diff) | |
parent | 9f1eb28a20c74ba872b8e69d41c4aeefbe6b8a4b (diff) | |
download | nixlib-227bc88da682955fa0702602e9712556787983b3.tar nixlib-227bc88da682955fa0702602e9712556787983b3.tar.gz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.bz2 nixlib-227bc88da682955fa0702602e9712556787983b3.tar.lz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.xz nixlib-227bc88da682955fa0702602e9712556787983b3.tar.zst nixlib-227bc88da682955fa0702602e9712556787983b3.zip |
Merge pull request #7991 from vbgl/gappa
Adds gappa 1.2.0
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 d5a3162d95b5..e416d97b1676 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -13881,6 +13881,8 @@ let }; }; + gappa = callPackage ../applications/science/logic/gappa { }; + ginac = callPackage ../applications/science/math/ginac { }; hol = callPackage ../applications/science/logic/hol { }; |