Merge pull request #240244 from r-ryantm/auto-update/cryptominisat
cryptominisat: 5.11.4 -> 5.11.11
This commit is contained in:
commit
23ad3c6a4f
@ -8,13 +8,13 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "cryptominisat";
|
pname = "cryptominisat";
|
||||||
version = "5.11.4";
|
version = "5.11.11";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "msoos";
|
owner = "msoos";
|
||||||
repo = "cryptominisat";
|
repo = "cryptominisat";
|
||||||
rev = version;
|
rev = version;
|
||||||
hash = "sha256-7JNfFKSYWgyyNnWNzXGLqWRwSW+5r6PBMelKeAmx8sc=";
|
hash = "sha256-TYuOgOOs1EsdNz7ctZMsArTlw3QzHjiPZVozuniiPcI=";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ python3 boost ];
|
buildInputs = [ python3 boost ];
|
||||||
|
Loading…
Reference in New Issue
Block a user