https://github.com/Gecode/gecode.git git 6.3.0~git%cd.%h release/6.3.0 *.tar gz