Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 586932 - sci-mathematics/coq-8.5_p1: stablereq (was: uses := slot op in || deps)
Summary: sci-mathematics/coq-8.5_p1: stablereq (was: uses := slot op in || deps)
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords: STABLEREQ
Depends on:
Blocks: 586238
  Show dependency tree
 
Reported: 2016-06-24 12:07 UTC by Michał Górny
Modified: 2016-06-25 21:10 UTC (History)
4 users (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 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 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 Gentoo Infrastructure gentoo-dev Security 2016-06-25 21:00:23 UTC 
Arch teams, please target 8.5_p1.
Comment 3 Patrice Clement 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(-)