From 7c12318da313191adfa2005f24a77ddc4ad7a062 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 24 May 2019 22:18:32 +0200
Subject: Update README, remove MacPorts link (not updated since 8.8.2).

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 54e12b09d4..2178d13fd6 100644
--- a/README.md
+++ b/README.md
@@ -28,7 +28,6 @@ environment for semi-interactive development of machine-checked proofs.
 [![Arch package][arch-badge]][arch-link]
 [![Chocolatey package][chocolatey-badge]][chocolatey-link]
 [![Homebrew package][homebrew-badge]][homebrew-link]
-[![MacPorts package][macports-badge]][macports-link]
 [![nixpkgs unstable package][nixpkgs-badge]][nixpkgs-link]
 
 [repology-badge]: https://repology.org/badge/latest-versions/coq.svg
@@ -88,7 +87,7 @@ development team:
 
 See also [coq.inria.fr/community](https://coq.inria.fr/community.html).
 
-## Bugs report
+## Bug reports
 
 Please report any bug / feature request in [our issue tracker](https://github.com/coq/coq/issues).
 
-- 
cgit v1.2.3