diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2017-05-14 09:53:30 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2017-05-22 22:25:14 +0100 |
commit | 893c7b611272c4ba2f8ba6b1b339dd845029cac3 (patch) | |
tree | 836bba5c8717a731b2db829053d35738bbdb5986 /pkgs/top-level | |
parent | 77869222402a0a2e926f770f3d62dd86430cd521 (diff) | |
download | nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.gz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.bz2 nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.lz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.xz nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.tar.zst nixlib-893c7b611272c4ba2f8ba6b1b339dd845029cac3.zip |
cryptominisat: init at 5.0.1
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 b620608b7d30..43d67504c762 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7438,6 +7438,8 @@ with pkgs; cryptopp = callPackage ../development/libraries/crypto++ { }; + cryptominisat = callPackage ../applications/science/logic/cryptominisat { }; + curlcpp = callPackage ../development/libraries/curlcpp { }; cutee = callPackage ../development/libraries/cutee { }; |