1 files changed, 3 insertions, 2 deletions
diff --git a/README.md b/README.md
index 861b848..882b092 100644
--- a/README.md
+++ b/README.md
@@ -40,5 +40,6 @@ information that you need.
 You may be able to install Coq-std++ via opam, as described in the README of
 Coq-std++. However, your operating system's package repositories may also
-provide a package. Consider taking a look at [the Repology
+provide a package. Consider taking a look at the Repology pages:
-page](https://repology.org/project/coq-stdpp/versions).
+[coq-stdpp](https://repology.org/project/coq-stdpp/versions),
+[coq:stdpp](https://repology.org/project/coq:stdpp/versions).

diff --git a/README.md b/README.md index 861b848..882b092 100644 --- a/README.md +++ b/README.md
@@ -40,5 +40,6 @@ information that you need.
40		40
41	You may be able to install Coq-std++ via opam, as described in the README of	41	You may be able to install Coq-std++ via opam, as described in the README of
42	Coq-std++. However, your operating system's package repositories may also	42	Coq-std++. However, your operating system's package repositories may also
43	provide a package. Consider taking a look at [the Repology	43	provide a package. Consider taking a look at the Repology pages:
44	page](https://repology.org/project/coq-stdpp/versions).	44	[coq-stdpp](https://repology.org/project/coq-stdpp/versions),
		45	[coq:stdpp](https://repology.org/project/coq:stdpp/versions).