Gentoo Packages
Gentoo Packages
>
USE Flags
> native-compiler
USE Flag: native-compiler
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
sci-mathematics/coq:
Enable "native_compute" and compile the Coq Standard Library
Local Descriptions (use.local.desc)
sci-mathematics/coq:
Enable "native_compute" and compile the Coq Standard Library
Warnings
Warning: USE flag 'native-compiler' is used in ebuilds/metadata but is not defined in profiles/use.desc
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
sci-mathematics/coq
Enable "native_compute" and compile the Coq Standard Library
Enable "native_compute" and compile the Coq Standard Library