Enrico Tassi (Apr 30 2021 at 13:22): Enrico Tassi (Apr 30 2021 at 13:22):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)
Enrico Tassi (Apr 30 2021 at 14:08):I found it, there is a show --raw which kind of does this.
Matthieu Sozeau (Apr 30 2021 at 18:34):I think there's also something to get the /opam file at some url, no?
Last updated: Jun 08 2023 at 04:01 UTC