Stream: Coq Platform devs & users

Topic: Platform in opam repo README

view this post on Zulip Karl Palmskog (Dec 14 2022 at 17:34):

Any thoughts on adding this text to the Coq opam archive repo README? (https://github.com/coq/opam-coq-archive/pull/2410)

The released opam archive is a key component of the Coq Platform, a distribution of Coq together with a curated set of libraries and plugins. After installing the Platform using scripts (as opposed to via a binary installer), additional packages in the released opam archive can be installed manually without the need for repository activation.

I think we need to take all opportunities we can to crossref.

Last updated: Jun 03 2023 at 03:01 UTC