Bug 672038

Summary:	Request sci-mathematics/coq-8.8 ebuild
Product:	Gentoo Linux	Reporter:	Han <jkmls>
Component:	New packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal	CC:	sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Han 2018-11-27 01:53:37 UTC

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?

Comment 1 Larry the Git Cow gentoo-dev

2019-09-24 09:46:16 UTC

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(+)