Links for gecode
gecode-6.2.0.tar.gz