./LADR-2009-11A.tar.gz already exists, skipping download
./prover9-manual-2009-11A.tar.gz already exists, skipping download
Getting http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz to ./LADR-2009-11A.tar.gz
Getting http://www.cs.unm.edu/~mccune/prover9/manual/prover9-manual-2009-11A.tar.gz to ./prover9-manual-2009-11A.tar.gz