PRGNAM="gecode" VERSION="3.7.2" HOMEPAGE="http://www.gecode.org/" DOWNLOAD="http://www.gecode.org/download/gecode-3.7.2.tar.gz" MD5SUM="8d505801f5730bd1b639fb2213b24919" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Thibaut Notteboom" EMAIL="tib@tibux.org"