cvc5: 1.1.2 -> 1.2.0

2024-08-09 00:56:45 +00:00
parent fa4b81d8e9
commit 3b66430fa3
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "cvc5";
-  version = "1.1.2";
+  version = "1.2.0";

  src = fetchFromGitHub {
    owner  = "cvc5";
    repo   = "cvc5";
    rev    = "cvc5-${version}";
-    hash  = "sha256-v+3/2IUslQOySxFDYgTBWJIDnyjbU2RPdpfLcIkEtgQ=";
+    hash  = "sha256-d5F4KwPQ1nwYJbEidQsvqyaGwEugo291SpsJE2rr558=";
  };

  nativeBuildInputs = [ pkg-config cmake flex ];