Index of ftp://ftp.linux.org.tr/gentoo-portage/sci-mathematics/agda-lib-ffi

[DIR] Parent Directory

[ ] Manifest  1.49Kb  September 14 2020 at 19:39
[ ] agda-lib-ffi-0.0.2-r2.ebuild  731.00b  May 17 2020
[ ] agda-lib-ffi-0.0.2.ebuild  655.00b  May 17 2020
[TXT] metadata.xml  330.00b  September 14 2020 at 19:39