Commit 24d7dda9 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

ocamlPackages.dolmen_type: init at 0.6

parent 5f014a6f

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

0 → 100644
+15 −0
Original line number Diff line number Diff line 
{ buildDunePackage, dolmen

, spelll

, uutf

}:



buildDunePackage {

  pname = "dolmen_type";

  inherit (dolmen) src version;



  propagatedBuildInputs = [ dolmen spelll uutf ];



  meta = dolmen.meta // {

    description = "A typechecker for automated deduction languages";

  };

}

pkgs/top-level/ocaml-packages.nix

+2 −0
Original line number Diff line number Diff line
@@ -337,6 +337,8 @@ let 


    dolmen =  callPackage ../development/ocaml-modules/dolmen { };



    dolmen_type =  callPackage ../development/ocaml-modules/dolmen/type.nix { };



    dolog = callPackage ../development/ocaml-modules/dolog { };



    domain-local-await = callPackage ../development/ocaml-modules/domain-local-await { };