553942 – sci-mathematics/coq-8.4_p6 version bump

Bug 553942 - sci-mathematics/coq-8.4_p6 version bump

Summary: sci-mathematics/coq-8.4_p6 version bump

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	Current packages (show other bugs)
Hardware:	All Linux

Importance:	Normal normal (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2015-07-05 00:28 UTC by OGINO Masanori
Modified:	2015-07-05 20:44 UTC (History)
CC List:	1 user (show)

See Also:
Package list:
Runtime testing required:	---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description OGINO Masanori 2015-07-05 00:28:39 UTC

Coq 8.4pl6 has been released.
SRC_URI: https://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz

I've confirmed that a copy of coq-8.4_p5.ebuild named coq-8.4_p6.ebuild worked well, with replacing "${FILESDIR}/${P}" with "${FILESDIR}/${PN}-8.4_p5".
After installation, I compiled Ssreflect and MathComp and proved "HilbertS" in "An Ssreflect Tutorial", section 2.1. It succeeded.

Reproducible: Always