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

25 lines
613 B
Nix
Raw Normal View History

{ lib, fetchFromGitHub, buildOasisPackage, minisat }:
buildOasisPackage rec {
pname = "ocaml-sat-solvers";
version = "0.4";
minimumOCamlVersion = "4.03.0";
src = fetchFromGitHub {
owner = "tcsprojects";
repo = "ocaml-sat-solvers";
rev = "v${version}";
sha256 = "1hxr16cyl1p1k1cik848mqrysq95wxmlykpm93a99pn55mp28938";
};
propagatedBuildInputs = [ minisat ];
meta = {
homepage = "https://github.com/tcsprojects/ocaml-sat-solvers";
description = "SAT Solvers For OCaml";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ mgttlinger ];
};
}