gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/agda-stdlib

Agda standard library

Screenshots

Runtime Dependencies

agda-stdlib-2.8.0.2.3


>=sci-mathematics/agda-2.8.0:=[profile?
]
>=dev-haskell/filemanip-0.3.6.2:=
<dev-haskell/filemanip-0.4:=
>=dev-haskell/text-1.2.3.1:=
<dev-haskell/text-2.2:=
>=dev-lang/ghc-9.0.2:=

dev-lang/ghc:=[profile?
]

agda-stdlib-2.6.4.3.2.0


>=sci-mathematics/agda-2.6.4.3:=[profile?
]

dev-lang/ghc:=[profile?
]