diff options
| author | R. Ryantm <ryantm-bot@ryantm.com> | 2024-01-26 12:48:05 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-30 05:45:19 +0100 |
| commit | 222c1940fafeda4dea161858ffe6ebfc853d3db5 (patch) | |
| tree | abb2437fe29e05d336d3b1c252559ac66e22039f /pkgs/applications/science/logic/cvc5 | |
| parent | 7308198ba3c38b11e64af3977c7b20b4f45f395d (diff) | |
cvc5: 1.1.0 -> 1.1.1
Diffstat (limited to 'pkgs/applications/science/logic/cvc5')
| -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 142668f382c3b..4da837ca46f6a 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.1.0"; + version = "1.1.1"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-BWmIxQz+if402f7zsFROWG1TXbcsg50FJbnffJFYun4="; + hash = "sha256-TU2ZG6/9bXRPozvEVUiSWixImY38iavD3huhSU8DbCw="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |