diff options
author | timor <timor.dd@googlemail.com> | 2018-03-20 17:33:56 +0100 |
---|---|---|
committer | timor <timor.dd@googlemail.com> | 2018-03-21 14:27:12 +0100 |
commit | 42368e23f595dabf89cfe3fbe39befd7022b9d89 (patch) | |
tree | 78b072ccb6c521ff462d6b737e70733531851c6e /pkgs/top-level | |
parent | fa3718777efeb119817a96aa51cf160b9378bba2 (diff) | |
download | nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar.gz nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar.bz2 nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar.lz nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar.xz nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.tar.zst nixlib-42368e23f595dabf89cfe3fbe39befd7022b9d89.zip |
workcraft: init at 3.1.9
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 9966f862f903..e8993a5d5638 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -19879,6 +19879,8 @@ with pkgs; why3 = callPackage ../applications/science/logic/why3 {}; + workcraft = callPackage ../applications/science/logic/workcraft {}; + yices = callPackage ../applications/science/logic/yices { gmp-static = gmp.override { withStatic = true; }; }; |