BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #189414 from kilianar/kissat-3.0.0

Browse source 
kissat: 2.0.1 -> 3.0.0
This commit is contained in:
Robert Scott 2022-09-03 11:53:29 +01:00 committed by GitHub
commit fd66073cf3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
pkgs/applications/science/logic/kissat/default.nix
View file

@ -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" ];