Commit b617a5a2 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Relax dependency on odoc.

parent bb19ca77
Pipeline #245 passed with stages
in 5 minutes and 39 seconds
......@@ -34,7 +34,7 @@ depends: [
"menhir" {build & >= "20181026"}
"menhirLib" { >= "20181026" }
"cduce-types" {= version}
"odoc" {build & >= "1.5.3"}
"odoc" {build & >= "1.5.0"}
"sedlex" {>= "2.0"}
("ocurl" { >= "0.9.1" } |
"ocamlnet" { >= "4.1.8"})
......
......@@ -4,7 +4,7 @@ depends: [
"menhir" {build & >= "20181026"}
"menhirLib" { >= "20181026" }
"cduce-types" {= version}
"odoc" {build & >= "1.5.3"}
"odoc" {build & >= "1.5.0"}
"sedlex" {>= "2.0"}
("ocurl" { >= "0.9.1" } |
"ocamlnet" { >= "4.1.8"})
......
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