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"