diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-09-22 11:14:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-22 11:14:06 +0200 |
| commit | ca3449710c91757707eb3df9c18ec556a85f4db6 (patch) | |
| tree | d085d773688f55dab2eef46287d90c5ae0755c91 /pkgs/applications/science | |
| parent | 575053f71d268c6f0175a80f6d288c7cf19ef224 (diff) | |
| parent | 51656463993256d8a065b0bf62395d47a2688cd6 (diff) | |
Merge pull request #254485 from r-ryantm/auto-update/cvc5
cvc5: 1.0.7 -> 1.0.8
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/cvc5/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/cvc5/default.nix b/pkgs/applications/science/logic/cvc5/default.nix index 24bcb16df9d98..b8a05074aaa14 100644 --- a/pkgs/applications/science/logic/cvc5/default.nix +++ b/pkgs/applications/science/logic/cvc5/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "cvc5"; - version = "1.0.7"; + version = "1.0.8"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-0uT2Lzz0ZbfNWZBptjaGI1fN0mMniBz41eEwipGc5fc="; + hash = "sha256-2sJKHD7Wzznut4hKOyxgc4LR4H+4u3m8Gq02+v+m5lM="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |