diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index ab3e3b93a..90ba13879 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -16,7 +16,7 @@ depends: [
   "crunch" {build}
   "ctypes"
   "ctypes-foreign"
-  "dune" {build & >= "2.5"}
+  "dune" {build & >= "2.7"}
   "dune-build-info" {build}
   "llvm" {= "8.0.0"}
   "ppx_compare"