Merge pull request #260233 from r-ryantm/auto-update/kissat

stdenv.mkDerivation rec {

  pname = "kissat";

  version = "3.1.0";

  version = "3.1.1";

  src = fetchFromGitHub {

    owner = "arminbiere";

    repo = "kissat";

    rev = "rel-${version}";

    sha256 = "sha256-AFUVkkD+toOfVEvIKfz3ncEdABLRxs9yQ8aJx6Q0ETM=";

    sha256 = "sha256-zK20/vhbVihrxmd52DjByDUO99pBAr8SlJtQpX5fmwY=";

  };

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