572558 – sci-mathematics/coq-8.5 version bump

Bug 572558 - sci-mathematics/coq-8.5 version bump

Summary: sci-mathematics/coq-8.5 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 Science Mathematics related packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2016-01-21 23:44 UTC by Vikraman (RETIRED)
Modified:	2016-01-27 07:51 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 Vikraman (RETIRED) gentoo-dev

2016-01-21 23:44:26 UTC

Coq 8.5 is out!

https://coq.inria.fr/coq-85

Reproducible: Always

Comment 1 David Seifert gentoo-dev

2016-01-27 07:51:05 UTC

commit 45ad531930a4073deb4e3638ea32c80271ed35b5
Author: Alexis Ballier <aballier@gentoo.org>
Date:   Sat Jan 23 18:28:28 2016 +0100

    sci-mathematics/coq: bump to 8.5
    
    Package-Manager: portage-2.2.27
    Signed-off-by: Alexis Ballier <aballier@gentoo.org>