cryptominisat: 5.11.4 -> 5.11.11

2023-06-28 02:05:20 +00:00
parent dde8c4b5df
commit 75b8e7eb4b
1 changed files with 2 additions and 2 deletions
@@ -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 ];