cvc5: 1.2.0 -> 1.2.1

2025-01-28 00:45:17 +00:00
parent fa9a43a8d9
commit f8a8997007
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 ];