diff options
| author | Robert Scott <code@humanleg.org.uk> | 2022-09-03 11:53:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-03 11:53:29 +0100 |
| commit | fd66073cf3e5ae6c845682e7f0d1aa749995d940 (patch) | |
| tree | 5e7f4b05c09e76039c2b4ded8d481dddd7e772f6 /pkgs/applications/science | |
| parent | 0635a54ca38e90e25b26518ff0fb1731a4a52a45 (diff) | |
| parent | c8546067ce75a48517dc75d780c87abbd86037e2 (diff) | |
Merge pull request #189414 from kilianar/kissat-3.0.0
kissat: 2.0.1 -> 3.0.0
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/kissat/default.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pkgs/applications/science/logic/kissat/default.nix b/pkgs/applications/science/logic/kissat/default.nix index 08be0740117a4..772e9c22a59a2 100644 --- a/pkgs/applications/science/logic/kissat/default.nix +++ b/pkgs/applications/science/logic/kissat/default.nix @@ -4,14 +4,13 @@ stdenv.mkDerivation rec { pname = "kissat"; - version = "2.0.1"; + version = "3.0.0"; src = fetchFromGitHub { owner = "arminbiere"; repo = "kissat"; - # https://github.com/arminbiere/kissat/issues/18 - rev = "abfa45fb782fa3b7c6e2eb6b939febe74d7270b7"; - sha256 = "06pbmkjxgf2idhsrd1yzvbxr2wf8l06pjb38bzbygm6n9ami89b8"; + rev = "rel-${version}"; + sha256 = "sha256-C1lvkyYgFNhV7jGVLlrpJ5zZ8SFHg8g+iW1lDczhpBM="; }; outputs = [ "out" "dev" "lib" ]; |