diff options
| author | R. Ryantm <ryantm-bot@ryantm.com> | 2023-12-28 02:05:44 +0000 |
|---|---|---|
| committer | R. Ryantm <ryantm-bot@ryantm.com> | 2023-12-28 02:05:44 +0000 |
| commit | feadff003ea9902443ed763fab8b82653180b055 (patch) | |
| tree | eb6ad6ac0154259a2b9bf947809008f68c3ad40f /pkgs/applications/science/logic | |
| parent | ddd6c029b5c40b5107d2b4967ac6f49ad10f2722 (diff) | |
| download | nixlib-feadff003ea9902443ed763fab8b82653180b055.tar nixlib-feadff003ea9902443ed763fab8b82653180b055.tar.gz nixlib-feadff003ea9902443ed763fab8b82653180b055.tar.bz2 nixlib-feadff003ea9902443ed763fab8b82653180b055.tar.lz nixlib-feadff003ea9902443ed763fab8b82653180b055.tar.xz nixlib-feadff003ea9902443ed763fab8b82653180b055.tar.zst nixlib-feadff003ea9902443ed763fab8b82653180b055.zip | |
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 ]; |