diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-12-26 16:02:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-26 16:02:43 -0500 |
| commit | 126fcb5e9953472505a40b23b377f9e3d51635e9 (patch) | |
| tree | 68e6b437e9e4dc5d711209b424026d0d6a187d7f /pkgs | |
| parent | c407032be28ca2236f45c49cfb2b8b3885294f7f (diff) | |
| parent | b297165efde4b22f292fbc9ca39bd85eb471d1a7 (diff) | |
| download | nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar.gz nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar.bz2 nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar.lz nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar.xz nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.tar.zst nixlib-126fcb5e9953472505a40b23b377f9e3d51635e9.zip | |
Merge pull request #275586 from r-ryantm/auto-update/cvc5
cvc5: 1.0.8 -> 1.0.9
Diffstat (limited to 'pkgs')
| -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 7c483ec185c7..146381961e5c 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.8"; + version = "1.0.9"; src = fetchFromGitHub { owner = "cvc5"; repo = "cvc5"; rev = "cvc5-${version}"; - hash = "sha256-2sJKHD7Wzznut4hKOyxgc4LR4H+4u3m8Gq02+v+m5lM="; + hash = "sha256-AwUQHFftn51Xt6HtmDsWAdkOS8i64r2FhaHu31KYwZA="; }; nativeBuildInputs = [ pkg-config cmake flex ]; |