From b3bb0f3c8db3e3409275041a2b491bc4026d60be Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 18 Dec 2020 16:32:20 +0100
Subject: [PATCH] Update opam file.

---
 caisar.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/caisar.opam b/caisar.opam
index 5ea4dc1..68164a9 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"}
-- 
GitLab