diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2019-03-01 16:58:38 -0800 |
---|---|---|
committer | R. RyanTM <ryantm-bot@ryantm.com> | 2019-03-01 16:58:38 -0800 |
commit | 4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7 (patch) | |
tree | 33fefca5aa6e2606c9cd5900242aa30ddb68cd34 /pkgs/applications/science/logic/cryptominisat | |
parent | 2fcb11a2442b27834db87b2f62511037c31b5e36 (diff) | |
download | nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar.gz nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar.bz2 nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar.lz nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar.xz nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.tar.zst nixpkgs-4f1c44906c5c4d3c907906c9c04f9a1ccd9133c7.zip |
cryptominisat: 5.6.6 -> 5.6.8
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/cryptominisat/versions
Diffstat (limited to 'pkgs/applications/science/logic/cryptominisat')
-rw-r--r-- | pkgs/applications/science/logic/cryptominisat/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cryptominisat/default.nix b/pkgs/applications/science/logic/cryptominisat/default.nix index 18af6f0a618..c6b7b918eac 100644 --- a/pkgs/applications/science/logic/cryptominisat/default.nix +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { name = "cryptominisat-${version}"; - version = "5.6.6"; + version = "5.6.8"; src = fetchFromGitHub { owner = "msoos"; repo = "cryptominisat"; rev = version; - sha256 = "1a1494gj4j73yij0hjbzsn2hglk9zy5c5wfwgig3j67cis28saf5"; + sha256 = "0csimmy1nvkfcsxjra9bm4mlcyxa3ac8zarm88zfb7640ca0d0wv"; }; buildInputs = [ python3 boost ]; |