I'm trying to fix #14202 by providing to the coq platform a flag to override, on the fly, the url of a package (to be used in coq PRs to override the url of coq.dev with the brach used for the PR).
Is there a way to get opam to dowload the metadata (opam file) for a package? I can't find it (I can download the sources of a package, but not the package itself)
I found it, there is a
show --raw which kind of does this.
I think there's also something to get the /opam file at some url, no?
Last updated: Jun 08 2023 at 04:01 UTC