diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/cvc5/default.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/cvc5/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/cvc5/default.nix b/nixpkgs/pkgs/applications/science/logic/cvc5/default.nix index 4da837ca46f6..2dff344e4edb 100644 --- a/nixpkgs/pkgs/applications/science/logic/cvc5/default.nix +++ b/nixpkgs/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 ]; |