Commit 43aa7c0e authored by erwan's avatar erwan
Browse files

Chore: fix an opam dep

parent 6236c73e
Pipeline #70638 passed with stages
in 4 minutes and 57 seconds
......@@ -29,7 +29,7 @@ depends: [
"mlgmpidl"
"dune" {build & >= "2.0"}
"ocamlfind"
"rdbg" {> "1.196.9"}
"rdbg" {>= "1.196.9"}
]
build: [
[make "build"]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment