Commit c8cb1f7a authored by Mario Rodas's avatar Mario Rodas Committed by Vincent Laporte
Browse files

ocamlPackages.minisat: 0.4 -> 0.5 

Diff: https://github.com/c-cube/ocaml-minisat/compare/v0.4...v0.5
parent c2249000

pkgs/development/ocaml-modules/minisat/default.nix

+3 −5
Original line number Diff line number Diff line
@@ -2,17 +2,15 @@ 


buildDunePackage rec {

  pname = "minisat";

  version = "0.4";

  version = "0.5";



  useDune2 = true;



  minimumOCamlVersion = "4.05";

  minimalOCamlVersion = "4.05";



  src = fetchFromGitHub {

    owner  = "c-cube";

    repo   = "ocaml-minisat";

    rev    = "v${version}";

    sha256 = "009jncrvnl9synxx6jnm6gp0cs7zlj71z22zz7bs1750b0jrfm2r";

    hash   = "sha256-hqGSHxhT+Z2slRCIXnfYuasG1K3tVG/tsM0IXxmy9hQ=";

  };



  meta = {