Unverified Commit 8573330e authored by Matthias Beyer's avatar Matthias Beyer Committed by GitHub
Browse files

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

cryptominisat: 5.11.11 -> 5.11.12
parents 2ece2a07 fcf9eb1b

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

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


stdenv.mkDerivation rec {

  pname = "cryptominisat";

  version = "5.11.11";

  version = "5.11.12";



  src = fetchFromGitHub {

    owner = "msoos";

    repo = "cryptominisat";

    rev = version;

    hash = "sha256-TYuOgOOs1EsdNz7ctZMsArTlw3QzHjiPZVozuniiPcI=";

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

  };



  buildInputs = [ python3 boost ];