euse -i native-compilereuse -E native-compilereuse -D native-compiler| 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 |