1 files changed, 1 insertions, 2 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/lambdapi/default.nix b/nixpkgs/pkgs/development/ocaml-modules/lambdapi/default.nix
index ddb428f720ee..f4d1cdb717b7 100644
--- a/nixpkgs/pkgs/development/ocaml-modules/lambdapi/default.nix
+++ b/nixpkgs/pkgs/development/ocaml-modules/lambdapi/default.nix
@@ -19,8 +19,7 @@ buildDunePackage rec {
   pname = "lambdapi";
   version = "2.3.1";
 
-  minimalOCamlVersion = "4.08";
-  duneVersion = "3";
+  minimalOCamlVersion = "4.12";
 
   src = fetchurl {
     url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz";