diff options
| author |  Rutger Broekhoff | 2024-06-27 11:55:37 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2024-06-27 11:55:37 +0200 |
| commit | ff82f7c63616e96bdf8a4268212f8094fa69748d (patch) | |
| tree | 4779da978a36762112d64a65b74ebac07b1c3bae /README.md | |
| parent | 5aef9a66966c8aa97041461d618b601e60e56c91 (diff) | |
| download | mininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.tar.gz mininix-formalization-ff82f7c63616e96bdf8a4268212f8094fa69748d.zip | |
Update README
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 5 |
1 files changed, 3 insertions, 2 deletions
| @@ -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). | ||