Gentoo Portage Overlays - sci-mathematics/agda-stdlib

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?
]