Skip to content

opam pin fails because of transitional curl package #74

@ygrek

Description

@ygrek

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)
[...]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions