diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-06-28 09:06:18 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-28 09:06:18 +0300 |
commit | 23ad3c6a4ff15d35319dfa3f5249040786dcd573 (patch) | |
tree | f018abae66df8fac2c7090df679d16acb04f6057 | |
parent | 0ceb2bb5a0038403e248737084bdbff6f53e7c85 (diff) | |
parent | 75b8e7eb4b92bb6324ea5a4eee1ccdbd87d376fc (diff) | |
download | nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar.gz nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar.bz2 nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar.lz nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar.xz nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.tar.zst nixpkgs-23ad3c6a4ff15d35319dfa3f5249040786dcd573.zip |
Merge pull request #240244 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.4 -> 5.11.11
-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 cd04d612b52..1d402573146 100644 --- a/pkgs/applications/science/logic/cryptominisat/default.nix +++ b/pkgs/applications/science/logic/cryptominisat/default.nix @@ -8,13 +8,13 @@ stdenv.mkDerivation rec { pname = "cryptominisat"; - version = "5.11.4"; + version = "5.11.11"; src = fetchFromGitHub { owner = "msoos"; repo = "cryptominisat"; rev = version; - hash = "sha256-7JNfFKSYWgyyNnWNzXGLqWRwSW+5r6PBMelKeAmx8sc="; + hash = "sha256-TYuOgOOs1EsdNz7ctZMsArTlw3QzHjiPZVozuniiPcI="; }; buildInputs = [ python3 boost ]; |