From beca8f960da7cfe83279c0866ad2f4da5cd0d1b5 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Wed, 17 Feb 2021 16:13:51 +0100
Subject: [PATCH] Update opam file
---
clangml-transforms.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/clangml-transforms.opam b/clangml-transforms.opam
index 31fe2e2..7708eb7 100644
--- a/clangml-transforms.opam
+++ b/clangml-transforms.opam
@@ -9,7 +9,7 @@ homepage: "https://gitlab.inria.fr/memcad/clangml-transforms"
doc: "https://gitlab.inria.fr/memcad/clangml-transforms"
bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues"
depends: [
- "ocaml" {>= "4.03.0" & < "4.12.0"}
+ "ocaml" {>= "4.03.0"}
"dune" {>= "1.11.0"}
"clangml" {>= "4.2.0"}
"dolog" {>= "4.0.0"}
--
GitLab