Index of /ubuntu/pool/universe/p/prover9-manual

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 prover9-doc_0.0.200902a-1_all.deb      03-May-2009 00:04  935K  
 prover9-manual_0.0.200902a-1.diff.gz   29-Apr-2009 21:05  4.1K  
 prover9-manual_0.0.200902a-1.dsc       29-Apr-2009 21:05  1.2K  
 prover9-manual_0.0.200902a.orig.tar.gz 29-Apr-2009 21:05  1.0M

Microsoft-IIS/10.0 Server at ftp.tw.netbsd.org Port 80