Index of /pub/gentoo-portage/sci-mathematics/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
files/-2019-Nov-20 12:09
agda-2.5.2-r1.ebuild 52562019-Nov-10 15:40
agda-2.4.2.5-r2.ebuild 44222019-Nov-10 15:40
Manifest 21292019-Nov-10 15:40
metadata.xml 9072017-Feb-16 10:21

This mirror is maintained by i3D.net Performance Hosting.

nlrtm1