Merge pull request #135262 from shnarazk/cadical-141

cadical: 1.3.0 -> 1.4.1
2021-08-22 20:01:59 +02:00
parent 27d463c120 960ddb6f8f
commit 607fea187f
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "cadical";
-  version = "1.3.0";
+  version = "1.4.1";

  src = fetchFromGitHub {
    owner = "arminbiere";
    repo = "cadical";
    rev = "rel-${version}";
-    sha256 = "05lvnvapjawgkky38xknb9lgaliiwan4kggmb9yggl4ifpjrh8qf";
+    sha256 = "0y44z3np4gssgdh4aj5qila7pshrbphycdxn2083i8ayyyjbxshp";
  };

  outputs = [ "out" "dev" "lib" ];