Hi,
I was wondering: is there a way to specify a pin directly in the opam file ?
An equivalent of this opam pin:
opam pin add mydepend github_url
Something as follow in a .opam:
depends: [
"mydepend" {"github url"}
]
Hi,
I was wondering: is there a way to specify a pin directly in the opam file ?
An equivalent of this opam pin:
opam pin add mydepend github_url
Something as follow in a .opam:
depends: [
"mydepend" {"github url"}
]
You can do something like that with the pin-depends
field of the opam file (you can find at example here).
That’s exactly what I need.
Thanks!