Closed c-cube closed 4 years ago
in my experience, adding a version to the package name helps, i.e. ["smtlib-utils.dev" "url"]
Indeed, it works. But the error message could be somewhat improved ;-)
Completely agree!
In fact, it is already fixed, on master in #3762.
An opam file with a
pin-depends
field, as follows, fails to check with opam-pin:the error is: