Index of ftp://bo.mirror.garr.it/1/gentoo-portage/sci-mathematics/agda-stdlib/files
Parent Directory
50agda-stdlib-gentoo.el
58.00b
March 8 2020
standard-library.agda-lib
55.00b
February 17 2017
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
50agda-stdlib-gentoo.el standard-library.agda-lib