aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar Rutger Broekhoff2024-06-27 11:55:37 +0200
committerLibravatar Rutger Broekhoff2024-06-27 11:55:37 +0200
commitff82f7c63616e96bdf8a4268212f8094fa69748d (patch)
tree4779da978a36762112d64a65b74ebac07b1c3bae
parent5aef9a66966c8aa97041461d618b601e60e56c91 (diff)
downloadmininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.tar.gz
mininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.zip
Update README
-rw-r--r--README.md5
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.
40 40
41You may be able to install Coq-std++ via opam, as described in the README of 41You may be able to install Coq-std++ via opam, as described in the README of
42Coq-std++. However, your operating system's package repositories may also 42Coq-std++. However, your operating system's package repositories may also
43provide a package. Consider taking a look at [the Repology 43provide a package. Consider taking a look at the Repology pages:
44page](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).