pinning to dev-repo doesn't work (will work after curl release?)
$ opam pin ocurl --dev-repo
[ocurl.0.9.2] synchronised (git+https://github.com/ygrek/ocurl.git)
ocurl is now pinned to git+https://github.com/ygrek/ocurl.git (version 0.9.2)
[ERROR] Package conflict!
* Missing dependency:
- curl
unknown package
cloning and pinning doesn't work (due to opam bug?)
$ git clone https://github.com/ygrek/ocurl.git
Cloning into 'ocurl'...
[...]
$ opam pin ocurl
This will pin the following packages: curl, ocurl. Continue? [Y/n] y
Package curl does not exist, create as a NEW package? [Y/n] y
curl is now pinned to git+file:///tmp/ocurl#master (version ~dev)
ocurl is now pinned to git+file:///tmp/ocurl#master (version 0.9.2)
[ERROR] Package conflict!
* Missing dependency:
- curl >= 0.9.2
no matching version
the way that works :
$ opam pin ocurl --with-version=~dev
This will pin the following packages: curl, ocurl. Continue? [Y/n] y
Package curl does not exist, create as a NEW package? [Y/n] y
curl is now pinned to git+file:///tmp/ocurl#master (version ~dev)
ocurl is now pinned to git+file:///tmp/ocurl#master (version ~dev)
[...]
pinning to dev-repo doesn't work (will work after
curlrelease?)cloning and pinning doesn't work (due to opam bug?)
the way that works :