From 9575b716f069cb756896e778695ee112cd26d0e8 Mon Sep 17 00:00:00 2001
From: Sylvain Pogodalla <sylvain.pogodalla@inria.fr>
Date: Fri, 19 Oct 2018 09:52:33 +0200
Subject: [PATCH] Fixes version filter for ocaml in acgtk.opam
---
acgtk.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/acgtk.opam b/acgtk.opam
index 1d94ef43..41bce876 100644
--- a/acgtk.opam
+++ b/acgtk.opam
@@ -12,7 +12,7 @@ build: [
install: ["dune" "install"]
depends: [
- "ocaml" {version >= "4.03.0"}
+ "ocaml" { >= "4.03.0"}
"dune" {build}
"menhir"
"ANSITerminal"
--
GitLab