diff --git a/lustre-v6.opam b/lustre-v6.opam index 5926e22d2e62209e4af22612025de43ba76f92ee..0fc9c4cc428e894f8626d4f896a417d1f269e153 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"]