pkgs/development/ocaml-modules/dolmen/loop.nix

   1 { buildDunePackage, dolmen, dolmen_type
   2 , gen
   3 , pp_loc
   4 }:
   5
   6 buildDunePackage {
   7   pname = "dolmen_loop";
   8   inherit (dolmen) src version;
   9
  10   propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];
  11
  12   meta = dolmen.meta // {
  13     description = "A tool library for automated deduction tools";
  14   };
  15 }