Commit fcf9eb1b authored by R. RyanTM's avatar R. RyanTM
Browse files

cryptominisat: 5.11.11 -> 5.11.12

parent 1c7948a7

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 ];