./alt-ergo-0.95.2.tar.gz already exists, skipping download
Getting http://alt-ergo.ocamlpro.com/http/alt-ergo-0.95.2/alt-ergo-0.95.2.tar.gz to ./alt-ergo-0.95.2.tar.gz