diff options
| author | Théo Zimmermann | 2019-06-21 09:58:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-06-21 09:58:54 +0200 |
| commit | 623a431c293dcff42b4bc4dc3dc50c047a9ecbcc (patch) | |
| tree | 04b8e0cb23bd666accbd16fdf2ae44b6e09c272a | |
| parent | 500e386685163b7491e8ff2bb6e2b8885a35756b (diff) | |
| parent | 5a9a35e0789e4bc9f0c18a9c703dd1af3e80cb23 (diff) | |
Merge PR #10414: Add Conda badge to README.md
Reviewed-by: Zimmi48
| -rw-r--r-- | README.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -27,6 +27,7 @@ environment for semi-interactive development of machine-checked proofs. [![Arch package][arch-badge]][arch-link] [![Chocolatey package][chocolatey-badge]][chocolatey-link] +[![Conda package][conda-badge]][conda-link] [![Homebrew package][homebrew-badge]][homebrew-link] [![nixpkgs unstable package][nixpkgs-badge]][nixpkgs-link] @@ -39,6 +40,9 @@ environment for semi-interactive development of machine-checked proofs. [chocolatey-badge]: https://repology.org/badge/version-for-repo/chocolatey/coq.svg [chocolatey-link]: https://chocolatey.org/packages/Coq +[conda-badge]: https://img.shields.io/conda/vn/conda-forge/coq.svg?label="Conda%20package" +[conda-link]: https://github.com/conda-forge/coq-feedstock + [homebrew-badge]: https://repology.org/badge/version-for-repo/homebrew/coq.svg [homebrew-link]: https://formulae.brew.sh/formula/coq |