Commit 46b9ee34 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

ocamlPackages.dolmen_loop: init at 0.6

parent 24d7dda9

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

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

, gen

}:



buildDunePackage {

  pname = "dolmen_loop";

  inherit (dolmen) src version;



  propagatedBuildInputs = [ dolmen dolmen_type gen ];



  meta = dolmen.meta // {

    description = "A tool library for automated deduction tools";

  };

}

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_loop =  callPackage ../development/ocaml-modules/dolmen/loop.nix { };



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



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