Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
local USE flag
native-compiler
Packages describing “native-compiler” as local USE flag
Package
“native-compiler” Flag Description
sci-mathematics/coq
Enable "native_compute" and compile the Coq Standard Library
All packages providing a “native-compiler” USE flag (1)
sci-mathematics/coq