From 5a9a35e0789e4bc9f0c18a9c703dd1af3e80cb23 Mon Sep 17 00:00:00 2001
From: Samuel Lelièvre
Date: Fri, 21 Jun 2019 00:49:20 +0200
Subject: Add Conda badge to README.md

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 2178d13fd6..739bb5148e 100644
--- a/README.md
+++ b/README.md
@@ -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
 
-- 
cgit v1.2.3