Commit 2a57ec40 authored by R. RyanTM's avatar R. RyanTM
Browse files

cryptominisat: 5.11.12 -> 5.11.14

parent c96a78b5

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

  version = "5.11.14";



  src = fetchFromGitHub {

    owner = "msoos";

    repo = "cryptominisat";

    rev = version;

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

    hash = "sha256-p/sVinjEh078PGtJ6JBRA8EmrJVcchBs9L3bRZvCHuo=";

  };



  buildInputs = [ python3 boost ];