Commit 0c47eea3 authored by R. RyanTM's avatar R. RyanTM
Browse files

kissat: 4.0.2 -> 4.0.3

parent c7327b17

pkgs/by-name/ki/kissat/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -25,13 +25,13 @@ let 
in

stdenv.mkDerivation rec {

  pname = "kissat";

  version = "4.0.2";

  version = "4.0.3";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "kissat";

    rev = "rel-${version}";

    sha256 = "sha256-XVaWO1zHMXM83Qih3HnmIsOvM1zpefF6u9lBP420/mQ=";

    sha256 = "sha256-IlMHtsEYafpbCNZfbeJo1JS5S5qcZQt1aDWjv+xxoqM=";

  };



  outputs = [