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

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