Bug 346007

Summary:	sci-mathematics/coq-8.3 QA: runtime text relocations
Product:	Gentoo Linux	Reporter:	Thomas Kahle (RETIRED) <tomka>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED OBSOLETE
Severity:	QA	CC:	jlec, sci-mathematics
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Thomas Kahle (RETIRED) gentoo-dev

2010-11-18 22:19:28 UTC

Hi, the new ebuild has shows the runtime text relocations QA info.  I have no idea what to do.  Patches appreciated!

TEXTREL usr/lib/coq/plugins/cc/cc_plugin.cmxs
TEXTREL usr/lib/coq/plugins/dp/dp_plugin.cmxs
TEXTREL usr/lib/coq/plugins/xml/xml_plugin.cmxs
TEXTREL usr/lib/coq/plugins/ring/ring_plugin.cmxs
TEXTREL usr/lib/coq/plugins/field/field_plugin.cmxs

[...]



Reproducible: Always

Comment 1 Justin Lecher (RETIRED) gentoo-dev

2015-11-12 16:47:57 UTC

Please reopen if still exists