diff options
| author | Théo Zimmermann | 2019-01-13 16:09:06 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-13 16:53:48 +0100 |
| commit | 3a83748d6f80fd4cc104c44695d0a9bd432934d1 (patch) | |
| tree | ee9044ec8277ce43bb80affad50c1295cf683294 /kernel/type_errors.mli | |
| parent | 01e652693c352fdf157106bc92a16c8e8667898e (diff) | |
Add badges linking to a selection of up-to-date Coq packages.
The badges displaying the latest packaged version are provided by Repology.
The goal is to put forward the packages that are well maintained (updated
quickly after a new release) and thus recommended.
The history of package updates can be found at:
https://repology.org/metapackage/coq/history
opam is missing because Repology is not currently tracking opam, but this
could be fixed (Repology does not only track Linux-distributions-like
package repositories, it also includes programming language package
repositories such as CPAN, CRAN, Hackage, RubyGems, and Stackage, thus
opam could be added as well).
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions