From 2443722270fcde5b952ba5081add3f7262145c89 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Tue, 30 Jun 2020 19:04:28 +0200
Subject: docs(README.md): Update badge and links

* Coq images are not built anymore from a Docker Hub automated build,
  they are now built from this GitLab CI project:
  https://gitlab.com/coq-community/docker-coq
---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 62004c0036..a5be6e22b8 100644
--- a/README.md
+++ b/README.md
@@ -59,11 +59,11 @@ 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"
+[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"
 
 [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"
+[coqorg-link]: https://github.com/coq-community/docker-coq/wiki#docker-coq-images "coqorg/coq:latest"
 
 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;
-- 
cgit v1.2.3