418775 – Please stabilize =dev-ml/camlp5-6.05

Bug 418775 - Please stabilize =dev-ml/camlp5-6.05

Summary: Please stabilize =dev-ml/camlp5-6.05

Status:	RESOLVED WONTFIX

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	[OLD] Keywording and Stabilization (show other bugs)
Hardware:	All Linux

Importance:	Normal enhancement (vote)
Assignee:	Gentoo Team for the ML programming language family

URL:	http://packages.gentoo.org/package/de...
Whiteboard:
Keywords:	STABLEREQ

Duplicates (1):	428968 (view as bug list)
Depends on:
Blocks:

Reported:	2012-06-01 10:02 UTC by Paweł Hajdan, Jr. (RETIRED)
Modified:	2013-03-24 20:41 UTC (History)
CC List:	0 users

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 Paweł Hajdan, Jr. (RETIRED) gentoo-dev

2012-06-01 10:02:11 UTC

Is it OK to stabilize =dev-ml/camlp5-6.05 ?

If so, please CC arches and add STABLEREQ keyword.

Stabilization of this package has been repoman-checked on the following arches: x86, amd64

Comment 1 Alexis Ballier gentoo-dev

2012-06-01 15:25:55 UTC

no, it breaks coq... file a stablereq for that instead

Comment 2 Alexis Ballier gentoo-dev

2012-07-31 18:03:24 UTC

*** Bug 428968 has been marked as a duplicate of this bug. ***