Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/agda-stdlib
Agda standard library
Screenshots
https://wiki.portal.chalmers.se/agda/
agda-stdlib-2.6.3.0.1.7.2
~amd64
profile
View
Download
Browse
License: MIT
Overlay:
haskell
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
agda-stdlib-2.6.3.0.1.7.2
>=
sci-mathematics/agda
-2.6.3.0:=[
profile
?
]