Merge pull request #258910 from r-ryantm/auto-update/cryptominisat

stdenv.mkDerivation rec {

  pname = "cryptominisat";

  version = "5.11.12";

  version = "5.11.14";

  src = fetchFromGitHub {

    owner = "msoos";

    repo = "cryptominisat";

    rev = version;

    hash = "sha256-1AJx8gPf+qDpAp0p4cfCObKZDWKDAKdGopllr2ajpHw=";

    hash = "sha256-p/sVinjEh078PGtJ6JBRA8EmrJVcchBs9L3bRZvCHuo=";

  };

  buildInputs = [ python3 boost ];