cvc5: 1.2.0 -> 1.2.1 (#377453)

2025-02-25 19:15:01 +01:00
parent ffe5877353 f8a8997007
commit 2e08639f4a
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

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

  src = fetchFromGitHub {
    owner  = "cvc5";
    repo   = "cvc5";
    rev    = "cvc5-${version}";
-    hash  = "sha256-d5F4KwPQ1nwYJbEidQsvqyaGwEugo291SpsJE2rr558=";
+    hash  = "sha256-mTWPGYeUH05qmLYUtNpsFXicUm3GMrQC06t7Z4J1YQ0=";
  };

  nativeBuildInputs = [ pkg-config cmake flex ];