Bug 355539

Summary:	Please stable sci-mathematics/coq-8.3_p1
Product:	Gentoo Linux	Reporter:	Thomas Kahle (RETIRED) <tomka>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	sci-mathematics
Priority:	High	Keywords:	STABLEREQ
Version:	2007.0
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	367265

Description Thomas Kahle (RETIRED) gentoo-dev

2011-02-19 10:27:16 UTC

As per summary. Current stable does not build with newer versions of make, or camlp5.  Time to move on (backporting fixes is boring).


Reproducible: Always

Comment 1 Thomas Kahle (RETIRED) gentoo-dev

2011-02-19 10:30:31 UTC

Adding: amd64 ppc sparc x86
Thanks!

Comment 2 Paweł Hajdan, Jr. (RETIRED) gentoo-dev

2011-02-20 17:58:08 UTC

x86 stable

Comment 3 blain 'Doc' Anderson 2011-02-20 19:46:57 UTC

amd64 works, no issues for a beginner

Comment 4 Agostino Sarubbo gentoo-dev

2011-02-21 11:25:43 UTC

works!

Comment 5 Markos Chandras (RETIRED) gentoo-dev

2011-02-21 18:44:42 UTC

amd64 done. Thanks Blain and Agostino

Comment 6 Raúl Porcel (RETIRED) gentoo-dev

2011-02-27 18:12:27 UTC

sparc keywords dropped

Comment 7 Samuli Suominen (RETIRED) gentoo-dev

2011-05-14 17:50:30 UTC

This one has make-3.82 fix, so adding bug 367265 to block list

Comment 8 Brent Baude (RETIRED) gentoo-dev

2011-06-03 15:02:33 UTC

ppc done; closing as last arch