diff options
| author | kilianar <mail@kilianar.de> | 2022-09-02 10:24:30 +0200 |
|---|---|---|
| committer | kilianar <mail@kilianar.de> | 2022-09-02 10:24:30 +0200 |
| commit | c8546067ce75a48517dc75d780c87abbd86037e2 (patch) | |
| tree | e536183a5b9147beef578f633fd43f0daeae45b3 /pkgs/applications/science | |
| parent | dc47970fbe00b148b77ed4a885389b53892d0d3c (diff) | |
kissat: 2.0.1 -> 3.0.0
https://github.com/arminbiere/kissat/releases/tag/rel-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" ]; |