stdlib

Global USE flag

Install the standard library.


Packages describing “stdlib” as local USE flag

Package “stdlib” Flag Description
sci-mathematics/agda Install the standard library.