Index of ftp://bo.mirror.garr.it/1/gentoo-portage/sci-mathematics/agda/files
Parent Directory
50agda2-gentoo.el
317.00b
March 8 2020
agda-2.4.2.5-hashtables.patch
558.00b
February 8 2016
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ ]](/icons/unknown.gif){kind=icon}
50agda2-gentoo.el agda-2.4.2.5-hashtables.patch