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"
