diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-03-08 08:48:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-08 08:48:25 +0100 |
| commit | 40f9f30edfe89c672d27ff5d2bf6637b57af38cb (patch) | |
| tree | 117cbdc44fb839d5773918f24436cecc2ab30640 /pkgs/applications/science/logic | |
| parent | d83f2c9cca0be40ed32c6a24aff473dd36c3c45a (diff) | |
| parent | b4acd43269a29ee8f51db5841b35575a3f6564aa (diff) | |
| download | nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar.gz nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar.bz2 nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar.lz nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar.xz nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.tar.zst nixlib-40f9f30edfe89c672d27ff5d2bf6637b57af38cb.zip | |
Merge pull request #292724 from r-ryantm/auto-update/cvc5
cvc5: 1.1.1 -> 1.1.2
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 4da837ca46f6..2dff344e4edb 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.1"; + version = "1.1.2"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-TU2ZG6/9bXRPozvEVUiSWixImY38iavD3huhSU8DbCw="; + hash = "sha256-v+3/2IUslQOySxFDYgTBWJIDnyjbU2RPdpfLcIkEtgQ="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |