Unverified Commit 08e608e4 authored by Yohann Boniface's avatar Yohann Boniface Committed by GitHub
Browse files

kissat: 4.0.3 -> 4.0.4 (#452774)

parents e4fef098 85813b77

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.3";

  version = "4.0.4";



  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "kissat";

    rev = "rel-${version}";

    sha256 = "sha256-IlMHtsEYafpbCNZfbeJo1JS5S5qcZQt1aDWjv+xxoqM=";

    sha256 = "sha256-hgB1U2Pmh1hEyNA3ej3fXxxf0YjCRgtOuSddRl6s0eo=";

  };



  outputs = [