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

   1 { buildDunePackage, dolmen
   2 , spelll
   3 , uutf
   4 }:
   5
   6 buildDunePackage {
   7   pname = "dolmen_type";
   8   inherit (dolmen) src version;
   9
  10   propagatedBuildInputs = [ dolmen spelll uutf ];
  11
  12   meta = dolmen.meta // {
  13     description = "Typechecker for automated deduction languages";
  14   };
  15 }