diff --git a/caisar.opam b/caisar.opam
index 5ea4dc1e9f6f0e2a65ef3de2f880a2d5ffd651f0..68164a99e7f3b4e8dc99e51ff500b11bcc599fd6 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -3,6 +3,7 @@ opam-version: "2.0"
 version: "0.1"
 synopsis: "Framework for neural network verification"
 depends: [
+  "ocaml" {>= "4.10"}
   "dune" {>= "2.7" & >= "2.7.1"}
   "base" {>= "v0.14.0"}
   "cmdliner" {>= "1.0.4"}