From bef6d431653a333ebcd262643285c44d922efeea Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 28 Oct 2022 14:38:14 +0200
Subject: [PATCH] build: not compatible with ocaml 4.05 (because of List.init)

---
 lustre-v6.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lustre-v6.opam b/lustre-v6.opam
index ccb6d80..673eaaa 100644
--- a/lustre-v6.opam
+++ b/lustre-v6.opam
@@ -17,7 +17,7 @@ homepage: "https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
 bug-reports:
   "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6/issues"
 depends: [
-  "ocaml" {>= "4.05"}
+  "ocaml" {> "4.05"}
   "base-unix"
   "extlib" {build} | "extlib-compat" {build}
   "dune" {>= "2.0"}
-- 
GitLab