./ltl2ba-1.1.tar.gz already exists, skipping download
Getting http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz to ./ltl2ba-1.1.tar.gz