From ff82f7c63616e96bdf8a4268212f8094fa69748d Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Thu, 27 Jun 2024 11:55:37 +0200
Subject: Update README

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'README.md')

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
-page](https://repology.org/project/coq-stdpp/versions).
+provide a package. Consider taking a look at the Repology pages:
+[coq-stdpp](https://repology.org/project/coq-stdpp/versions),
+[coq:stdpp](https://repology.org/project/coq:stdpp/versions).
-- 
cgit v1.2.3