Starting download of /gnu/store/9sh1af55zw47ciclblmxkc5yk5f7nzq1-aiger-1.9.9.tar.gz
From http://fmv.jku.at/aiger/aiger-1.9.9.tar.gz...

 aiger-1.9.9.tar.gz  311KiB               0B/s 00:00 [                  ]   0.0%
 aiger-1.9.9.tar.gz  311KiB           800KiB/s 00:00 [###               ]  20.6%
 aiger-1.9.9.tar.gz  311KiB           1.5MiB/s 00:00 [##################] 100.0%