diff options
| author | Samuel Lelièvre | 2019-06-21 00:49:20 +0200 |
|---|---|---|
| committer | GitHub | 2019-06-21 00:49:20 +0200 |
| commit | 5a9a35e0789e4bc9f0c18a9c703dd1af3e80cb23 (patch) | |
| tree | 04b8e0cb23bd666accbd16fdf2ae44b6e09c272a /README.md | |
| parent | 500e386685163b7491e8ff2bb6e2b8885a35756b (diff) | |
Add Conda badge to README.md
Diffstat (limited to 'README.md')
| -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 |