From 65b4d040d320b5afef4766ab63b103474a95a737 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Wed, 20 Sep 2023 14:40:57 +0200 Subject: [PATCH] Remove distro-specific badges from README. As of today most of them are outdated: Chocolatey and Conda do not seem maintained anymore, Arch is at 8.16.1. The recommended ways to install Coq are anyway already well documented on the download page which is linked just below. We only keep a single Repology badge as well as those for the Docker images. --- README.md | 24 ------------------------ 1 file changed, 24 deletions(-) diff --git a/README.md b/README.md index 0b7712c4c3f3..5b16d901948a 100644 --- a/README.md +++ b/README.md @@ -29,36 +29,12 @@ environment for semi-interactive development of machine-checked proofs. [![latest packaged version(s)][repology-badge]][repology-link] -[![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] - [![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 -[arch-badge]: https://repology.org/badge/version-for-repo/arch/coq.svg -[arch-link]: https://www.archlinux.org/packages/community/x86_64/coq/ - -[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 - -[macports-badge]: https://repology.org/badge/version-for-repo/macports/coq.svg -[macports-link]: https://www.macports.org/ports.php?by=name&substr=coq - -[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/badge/images%20on-Docker%20Hub-blue.svg [dockerhub-link]: https://hub.docker.com/r/coqorg/coq#supported-tags "Supported tags on Docker Hub"