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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
files/-2020-Jun-29 20:39
Manifest 24352020-May-17 17:09
agda-2.4.2.5-r2.ebuild 44362020-May-17 17:09
agda-2.5.2-r1.ebuild 52702020-May-17 17:09
agda-2.5.2-r2.ebuild 53052020-May-17 17:09
metadata.xml 9072017-Feb-16 10:21

This mirror is maintained by i3D.net Performance Hosting.

nlrtm1