Bug 586932

Summary:	sci-mathematics/coq-8.5_p1: stablereq (was: uses := slot op in \|\| deps)
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal	CC:	amd64, ppc, sci-mathematics, x86
Priority:	Normal	Keywords:	STABLEREQ
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	586238

Description Michał Górny archtester

2016-06-24 12:07:25 UTC

See tracker bug

Comment 1 Alexis Ballier gentoo-dev

2016-06-24 12:37:26 UTC

8.5_p1 should go stable to cleanup old versions; feel free to cc arches

Comment 2 Michał Górny archtester

2016-06-25 21:00:23 UTC

Arch teams, please target 8.5_p1.

Comment 3 Patrice Clement (RETIRED) gentoo-dev

2016-06-25 21:10:21 UTC

commit 553750d950477340ab2f269efecb4a90921c7fe0 (HEAD -> master, origin/master, origin/HEAD)
Author:     Patrice Clement <monsieurp@gentoo.org>
AuthorDate: Sat Jun 25 20:37:09 2016 +0000
Commit:     Patrice Clement <monsieurp@gentoo.org>
CommitDate: Sat Jun 25 20:41:30 2016 +0000

sci-mathematics/coq: Stable for amd64. Retroactively mark stable for the remaining arches using the ALLARCHES policy.

Package-Manager: portage-2.2.28
Gentoo-Bug: https://bugs.gentoo.org/586932

sci-mathematics/coq/coq-8.5.ebuild | 17 +++++++++++------
1 file changed, 11 insertions(+), 6 deletions(-)