Index of ftp://node15.intrice.ru/sci-mathematics/agda-lib-ffi

[DIR] Parent Directory

[ ] ChangeLog  2.60Kb  April 4 2016 at 15:30
[ ] ChangeLog-2015  820.00b  November 9 2015
[ ] Manifest  2.58Kb  April 4 2016 at 15:30
[ ] agda-lib-ffi-0.0.2-r2.ebuild  740.00b  April 3 2016 at 21:24
[ ] agda-lib-ffi-0.0.2.ebuild  663.00b  August 9 2015
[TXT] metadata.xml  427.00b  April 3 2016 at 21:24