diff options
| author | Robert Scott <code@humanleg.org.uk> | 2023-08-18 00:04:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-18 00:04:48 +0100 |
| commit | 52042e1e9b1fb43a80d261e157cd6894aa1f88f2 (patch) | |
| tree | 43ab0d8fadc7129597213af57971b0f574b63755 | |
| parent | ef8288935ba859fc3b30632fa6e04705f81b9c2a (diff) | |
| parent | ae68d70536dad1a96d6ce94092f50354694b453b (diff) | |
Merge pull request #249603 from vbgl/cvc5-1.0.6
cvc5: 1.0.5 → 1.0.6
| -rw-r--r-- | pkgs/applications/science/logic/cvc5/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/applications/science/logic/cvc5/default.nix b/pkgs/applications/science/logic/cvc5/default.nix index 23310163f279e..5357e1df54542 100644 --- a/pkgs/applications/science/logic/cvc5/default.nix +++ b/pkgs/applications/science/logic/cvc5/default.nix @@ -2,19 +2,19 @@ stdenv.mkDerivation rec { pname = "cvc5"; - version = "1.0.5"; + version = "1.0.6"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-l+L59QLLrAEVkAZjhxICJpa+j+jr1k/7B61JlapXGRI="; + hash = "sha256-pZiXAO92cwnYtaVMDFBEmk+NzDf4eKdc0eY0RltofPA="; }; nativeBuildInputs = [ pkg-config cmake flex ]; buildInputs = [ cadical.dev symfpu gmp gtest libantlr3c antlr3_4 boost jdk - (python3.withPackages (ps: with ps; [ pyparsing toml ])) + (python3.withPackages (ps: with ps; [ pyparsing tomli ])) ]; preConfigure = '' |