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

   1 { lib, buildDunePackage, fetchFromGitHub }:
   2
   3 buildDunePackage rec {
   4   pname = "minisat";
   5   version = "0.3";
   6
   7   useDune2 = true;
   8
   9   minimumOCamlVersion = "4.05";
  10
  11   src = fetchFromGitHub {
  12     owner  = "c-cube";
  13     repo   = "ocaml-minisat";
  14     rev    = "v${version}";
  15     sha256 = "01wggbziqz5x6d7mwdl40sbf6qal7fd853b224zjf9n0kzzsnczh";
  16   };
  17
  18   meta = {
  19     homepage = "https://c-cube.github.io/ocaml-minisat/";
  20     description = "Simple bindings to Minisat-C";
  21     license = lib.licenses.bsd2;
  22     maintainers = with lib.maintainers; [ mgttlinger ];
  23   };
  24 }