Gentoo Packages

USE Flag: stdlib

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 - Install the standard library.