diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/dolmen/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/dolmen/default.nix | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/dolmen/default.nix b/pkgs/development/ocaml-modules/dolmen/default.nix index 7a7a14192f9e7..b27efe5019448 100644 --- a/pkgs/development/ocaml-modules/dolmen/default.nix +++ b/pkgs/development/ocaml-modules/dolmen/default.nix @@ -7,8 +7,6 @@ buildDunePackage rec { pname = "dolmen"; version = "0.6"; - useDune2 = true; - minimalOCamlVersion = "4.08"; src = fetchurl { @@ -16,8 +14,6 @@ buildDunePackage rec { sha256 = "133l23mwxa9xy340izvk4zp5jqjz2cwsm2innsgs2kg85pd39c41"; }; - strictDeps = true; - nativeBuildInputs = [ menhir ]; propagatedBuildInputs = [ menhirLib fmt ]; |