Install the standard library.

Packages describing “stdlib” as local USE flag

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