diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-08-29 06:51:29 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-09-04 08:32:07 +0200 |
| commit | 62441cb5daf98a01b1eab80c2dd5e719fd2bd65d (patch) | |
| tree | aa59990ea52e17323d353f659907093b475949a7 /pkgs/applications/science/logic/cvc5 | |
| parent | 81a8aa7652a5046580ee7ee6ce51d83716164420 (diff) | |
cvc5: 1.0.6 → 1.0.7
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 5357e1df54542..24bcb16df9d98 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.6"; + version = "1.0.7"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-pZiXAO92cwnYtaVMDFBEmk+NzDf4eKdc0eY0RltofPA="; + hash = "sha256-0uT2Lzz0ZbfNWZBptjaGI1fN0mMniBz41eEwipGc5fc="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |