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

[DIR] Parent Directory

[ ] ChangeLog  2.49Kb  January 25 2016
[ ] ChangeLog-2015  1.38Kb  November 9 2015
[ ] Manifest  2.23Kb  January 25 2016
[ ] agda-executable-2.3.0.1-r1.ebuild  806.00b  August 9 2015
[ ] agda-executable-2.3.0.1-r2.ebuild  805.00b  August 9 2015
[TXT] metadata.xml  441.00b  January 24 2016