pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix

   1 { lib, fetchFromGitHub, buildOasisPackage, minisat }:
   2
   3 buildOasisPackage rec {
   4   pname = "ocaml-sat-solvers";
   5   version = "0.4";
   6
   7   minimumOCamlVersion = "4.03.0";
   8
   9   src = fetchFromGitHub {
  10     owner  = "tcsprojects";
  11     repo   = "ocaml-sat-solvers";
  12     rev    = "v${version}";
  13     sha256 = "1hxr16cyl1p1k1cik848mqrysq95wxmlykpm93a99pn55mp28938";
  14   };
  15
  16   propagatedBuildInputs = [ minisat ];
  17
  18   meta = {
  19     homepage = "https://github.com/tcsprojects/ocaml-sat-solvers";
  20     description = "SAT Solvers For OCaml";
  21     license = lib.licenses.bsd3;
  22     maintainers = with lib.maintainers; [ mgttlinger ];
  23   };
  24 }