/2.9.11.tar.gz
/5.0.1.tar.gz
/cryptominisat-*.tar.gz