Gentoo Packages

USE Flag: optimise-heavily

Search

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

Packages Using This Flag

Package Local Description (use.local.desc) Metadata Description (metadata.xml)
sci-mathematics/agda - Enable some expensive optimisations when compiling Agda.