Skip to content

Commit

Permalink
Pin odoc-parser version to less than 2.3.0
Browse files Browse the repository at this point in the history
  • Loading branch information
tmcgilchrist authored and jonludlam committed Oct 23, 2023
1 parent 03a0306 commit d82adb1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion odoc.opam
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ delimited with `(** ... *)`, and outputs HTML.
"""

depends: [
"odoc-parser" {>= "2.0.0"}
"odoc-parser" {>= "2.0.0" & < "2.3.0"}
"astring"
"cmdliner" {>= "1.0.0"}
"cppo" {build & >= "1.1.0"}
Expand Down

0 comments on commit d82adb1

Please sign in to comment.