Commit ff278c2f authored by R. RyanTM's avatar R. RyanTM
Browse files

kissat: 3.1.1 -> 4.0.1

parent ad770642

pkgs/applications/science/logic/kissat/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -4,13 +4,13 @@ 


stdenv.mkDerivation rec {

  pname = "kissat";

  version = "3.1.1";

  version = "4.0.1";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "kissat";

    rev = "rel-${version}";

    sha256 = "sha256-zK20/vhbVihrxmd52DjByDUO99pBAr8SlJtQpX5fmwY=";

    sha256 = "sha256-+y9TlSEgnMTtRT9F6OBSle9OqGfljChcHOFJ5lgwjyk=";

  };



  outputs = [ "out" "dev" "lib" ];