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

Icon  Name                                   Last modified      Size  Description
[DIR] Parent Directory                                            -   
[   ] prover9-manual_0.0.200902a.orig.tar.gz 29-Apr-2009 21:05  1.0M  
[TXT] prover9-manual_0.0.200902a-1.dsc       29-Apr-2009 21:05  1.2K  
[   ] prover9-manual_0.0.200902a-1.diff.gz   29-Apr-2009 21:05  4.1K  
[   ] prover9-doc_0.0.200902a-1_all.deb      03-May-2009 00:04  935K
Microsoft-IIS/10.0 Server at iso.tw.netbsd.org Port 80