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=""
MAINTAINER="Eugene Suter"
EMAIL="easuter@gmail.com"
APPROVED="dsomero"