According to https://repology.org/metapackage/coq/versions, a few other distributions has updated coq-8.8.2. Would it be possible to have the latest version on gentoo amd64?
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=983a017561dee1f3d28f9e3cc71f40ffdccbec41 commit 983a017561dee1f3d28f9e3cc71f40ffdccbec41 Author: Mark Wright <gienah@gentoo.org> AuthorDate: 2019-09-24 09:45:23 +0000 Commit: Mark Wright <gienah@gentoo.org> CommitDate: 2019-09-24 09:45:23 +0000 sci-mathematics/coq: Bump to 8.9.1 Thanks to Han and Anton Kochkov for requesting the bump. Closes: https://bugs.gentoo.org/653864 Closes: https://bugs.gentoo.org/672038 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Mark Wright <gienah@gentoo.org> sci-mathematics/coq/Manifest | 1 + sci-mathematics/coq/coq-8.9.1.ebuild | 86 ++++++++++++++++++++++++++++++++++++ 2 files changed, 87 insertions(+)