diff options
| author | Bobby Rong <rjl931189261@126.com> | 2022-07-30 10:50:46 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-30 10:50:46 +0800 |
| commit | ac95058e3cd72cbd26788c4a2ef4376d8fa2065a (patch) | |
| tree | 85621066a7111993358c4e3b0cc3e19b7242e067 /pkgs | |
| parent | 7342265796d69452729a52c39ac41795c8bbc7c2 (diff) | |
| parent | f238ea8ee8cd9ca58eb3a52ec2ef58f84d197ad4 (diff) | |
Merge pull request #183276 from r-ryantm/auto-update/cvc5
cvc5: 1.0.0 -> 1.0.1
Diffstat (limited to 'pkgs')
| -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 c1bf56b45d5b3..47c738f4cd601 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.0"; + version = "1.0.1"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - sha256 = "03sxqwmlajffmv7lncqs1bx8gyihkpnikk87q9wjrd4776n13ign"; + sha256 = "sha256-D3rexkDc78w/HObT/WYPBo8mTBx1MAkxPXJvddg97ic="; }; nativeBuildInputs = [ pkg-config cmake ]; |