mention Coq Platform in README.md

coq · Dec 13, 2022 · 6e428df · 6e428df
1 parent 9655053
commit 6e428df
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -43,6 +43,14 @@ See the [documentation](https://coq.inria.fr/opam-packaging.html) for how to add
 You can also look at existing [pull requests](https://github.com/coq/opam-coq-archive/pulls)
 to see how others are adding packages.
 
+## Coq Platform
+
+The `released` opam archive is a key component of the [Coq Platform](https://github.com/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.
+
 ## Website and opam metadata
 
 The `scripts/archive2web.ml` program generates the JSON file