Skip to content

Commit

Permalink
Update opam file for cmdliner dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
AltGr authored and hnrgrgr committed Mar 23, 2017
1 parent 25f132b commit ec94fb2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion opam
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ build: [
]
depends: [
"ocp-build" {>= "1.99.6-beta"}
"cmdliner"
"cmdliner" {>= "1.0.0"}
]
post-messages: [
"This package requires additional configuration for use in editors. Install package 'user-setup', or manually:
Expand Down

0 comments on commit ec94fb2

Please sign in to comment.