PRGNAM="polyml"
VERSION="5.3"
HOMEPAGE="http://www.polyml.org/"
DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.3/polyml.5.3.tar.gz"
MD5SUM="c4e3a33307c4465c4f068ae4fa225ced"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
MAINTAINER="nobody"
EMAIL="nobody"
