Gentoo Packages

USE Flag: dump-core

Search

Manage

Information: euse -i dump-core
Enable: euse -E dump-core
Disable: euse -D dump-core

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-mathematics/agda: Write GHC core output.

Packages Using This Flag

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/agda	-	Write GHC core output.