Stream: Coq devs & plugin devs

Topic: opam source


view this post on Zulip 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)

view this post on Zulip Enrico Tassi (Apr 30 2021 at 14:08):

I found it, there is a show --raw which kind of does this.

view this post on Zulip 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: Oct 16 2021 at 07:02 UTC