diff options
| author | Erik Martin-Dorel | 2020-01-09 16:44:48 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-01-09 16:44:48 +0100 |
| commit | 9d6a71f42351c90f0022978edc1168436a4a56ae (patch) | |
| tree | 223bc56d4d565bf3217f9bf4272bbb6d4cb65903 /README.md | |
| parent | a9a06ffbd8aa4b5491227b6ef0e63831101b913f (diff) | |
Add badges for Docker Hub and coqorg/coq:latest version
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -31,6 +31,9 @@ environment for semi-interactive development of machine-checked proofs. [![Homebrew package][homebrew-badge]][homebrew-link] [![nixpkgs unstable package][nixpkgs-badge]][nixpkgs-link] +[![Docker Hub package][dockerhub-badge]][dockerhub-link] +[![latest dockerized version][coqorg-badge]][coqorg-link] + [repology-badge]: https://repology.org/badge/latest-versions/coq.svg [repology-link]: https://repology.org/metapackage/coq/versions @@ -52,6 +55,12 @@ environment for semi-interactive development of machine-checked proofs. [nixpkgs-badge]: https://repology.org/badge/version-for-repo/nix_unstable/coq.svg [nixpkgs-link]: https://nixos.org/nixos/packages.html#coq +[dockerhub-badge]: https://img.shields.io/docker/automated/coqorg/coq.svg +[dockerhub-link]: https://hub.docker.com/r/coqorg/coq "Automated build on Docker Hub" + +[coqorg-badge]: https://images.microbadger.com/badges/version/coqorg/coq.svg +[coqorg-link]: https://github.com/coq-community/docker-coq/wiki#docker-coq-images "Docker images of Coq" + Download the pre-built packages of the [latest release][] for Windows and macOS; read the [help page][opam-using] on how to install Coq with OPAM; or refer to the [`INSTALL.md`](INSTALL.md) file for the procedure to install from source. |