diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-01-03 19:34:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-03 19:34:52 +0100 |
| commit | ac32817df9eee3ff668145002cfc8bd7557e2453 (patch) | |
| tree | 9915ba432af60f7de741e4dec8b9fdede7e214ed /pkgs/applications/science/logic | |
| parent | eb9585204a8e9a3f209f6625bdaa429a00942b88 (diff) | |
| parent | feadff003ea9902443ed763fab8b82653180b055 (diff) | |
| download | nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar.gz nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar.bz2 nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar.lz nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar.xz nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.tar.zst nixlib-ac32817df9eee3ff668145002cfc8bd7557e2453.zip | |
Merge pull request #277227 from r-ryantm/auto-update/cvc5
cvc5: 1.0.9 -> 1.1.0
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 146381961e5c..142668f382c3 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.9"; + version = "1.1.0"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-AwUQHFftn51Xt6HtmDsWAdkOS8i64r2FhaHu31KYwZA="; + hash = "sha256-BWmIxQz+if402f7zsFROWG1TXbcsg50FJbnffJFYun4="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |