Index of ftp://ftp.ascon.ru/gentoo-portage/sci-mathematics/prover9

[DIR] Parent Directory

[ ] ChangeLog  1.07Kb  January 8 2014  [find mirrors]
[ ] Manifest  3.09Kb  January 8 2014  [find mirrors]
[DIR] files  96.00b  June 30 2014 at 20:31
[TXT] metadata.xml  524.00b  January 6 2014  [find mirrors]
[ ] prover9-2009.11a.ebuild  2.56Kb  January 8 2014  [find mirrors]