--2013-09-30 03:01:44--  http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz
Resolving www.lsv.ens-cachan.fr... 138.231.81.135
Connecting to www.lsv.ens-cachan.fr|138.231.81.135|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 29629 (29K) [application/x-gzip]
Saving to: `./ltl2ba-1.1.tar.gz'

     0K .......... .......... ........                        100% 62.6K=0.5s

2013-09-30 03:01:46 (62.6 KB/s) - `./ltl2ba-1.1.tar.gz' saved [29629/29629]