-
Notifications
You must be signed in to change notification settings - Fork 373
cmdliner 2.0.0 support #6425
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
This concerns the packages |
Whether or not we can support cmdliner 2.0.0 will depend on the status of dbuenzli/cmdliner#200 |
I don't think so, as mentioned in the instruction I linked to:
|
I'm not sure to understand. Do you mean cmdliner will still behave the same with regards to prefixes in 2.0.0? |
No it won't. But as far as I know these packages do not install |
It seems that the latest version of your package on the opam repository will not compile with the upcoming cmdliner 2.0.0 release.
This is either because you are using deprecated identifiers that are removed in 2.0.0 or because you still use argument converters as pairs which has been (sadly only silently) deprecated since 2017.
There are a few instruction here on how to make it compatible. If you run into problem or need more help use this issue, I'm listening.
The text was updated successfully, but these errors were encountered: