Index of /sci-mathematics/prover9/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
files/2018-Oct-17 11:09:38-  Directory
Manifest2018-Jun-14 19:39:191.5Kapplication/octet-stream
metadata.xml2016-Jan-25 00:06:090.6Kapplication/xml
prover9-2009.11a.ebuild2017-Feb-28 20:50:502.4Kapplication/octet-stream
lighttpd/1.4.35