diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index f036086cc..9b5348a33 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -10,7 +10,7 @@ build: [
 ]
 depends: [
   "ocaml"
-  "apron"
+  "apron" {>= "v0.9.13"}
   "base"
   "containers"
   "core" {>= "v0.14"}