From 59dec9bb1e135a67723b3f1c355db7fb3fd3f9fe Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 30 Aug 2019 08:47:22 +0200
Subject: [PATCH] CI: can't install with rdbg <= 1.184
---
lustre-v6.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lustre-v6.opam b/lustre-v6.opam
index 5926e22d..0fc9c4cc 100644
--- a/lustre-v6.opam
+++ b/lustre-v6.opam
@@ -18,7 +18,7 @@ depends: [
"lutils" {>= "1.49"}
"dune"
"ocamlfind"
- "rdbg" {>= "1.184"}
+ "rdbg" {> "1.184"}
]
build: [
[make "build"]
--
GitLab