ftp.ntua.gr:/mirror/ubuntu/pool/universe/p/prover9-manual/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] prover9-doc_0.0.200902a-1_all.deb                02-May-2009 19:04  935K  
[   ] prover9-doc_0.0.200902a-2.1_all.deb              06-Jan-2021 07:40  837K  
[   ] prover9-doc_0.0.200902a-2_all.deb                04-May-2013 14:33  944K  
[   ] prover9-manual_0.0.200902a-1.diff.gz             29-Apr-2009 16:05  4.1K  
[   ] prover9-manual_0.0.200902a-1.dsc                 29-Apr-2009 16:05  1.2K  
[   ] prover9-manual_0.0.200902a-2.1.debian.tar.xz     06-Jan-2021 07:40  4.6K  
[   ] prover9-manual_0.0.200902a-2.1.dsc               06-Jan-2021 07:40  1.9K  
[   ] prover9-manual_0.0.200902a-2.debian.tar.gz       04-May-2013 14:33  4.6K  
[   ] prover9-manual_0.0.200902a-2.dsc                 04-May-2013 14:33  1.9K  
[   ] prover9-manual_0.0.200902a.orig.tar.gz           29-Apr-2009 16:05  1.0M
Apache/2.2 Server at ftp.grnet.gr Port 80