Bug 215746

Summary:	sci-mathematics/coq-8.1_p3 stable request
Product:	Gentoo Linux	Reporter:	Alexis Ballier <aballier>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	sci
Priority:	High	Keywords:	STABLEREQ
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:	215736
Bug Blocks:

Description Alexis Ballier gentoo-dev

2008-04-01 18:39:28 UTC

been there for a while, will be needed for ocaml >=3.10

Comment 1 Brent Baude (RETIRED) gentoo-dev

2008-04-03 01:24:18 UTC

ppc stable

Comment 2 Markus Meier gentoo-dev

2008-04-06 19:27:14 UTC

amd64/x86 stable

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

2008-04-08 15:06:23 UTC

sparc stable, closing