PRGNAM="gecode" VERSION="4.4.0" HOMEPAGE="http://www.gecode.org/" DOWNLOAD="http://www.gecode.org/download/gecode-4.4.0.tar.gz" MD5SUM="a892852927b12ed291b435c72c085834" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Thibaut Notteboom" EMAIL="thibaut.notteboom@gmail.com"