          MODULE=polyml
         VERSION=5.4
          SOURCE=$MODULE.$VERSION.tar.gz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE.$VERSION
      SOURCE_URL=$SFORGE_URL/$MODULE/
      SOURCE_VFY=sha1:9d9579e5946a84b8e780ae5ea0fbe8d10d4c32d1
        WEB_SITE=http://polyml.org/
         ENTERED=20071103
         UPDATED=20110208
           SHORT="Full Standard ML implementation"

cat << EOF
Poly/ML is a full implementation of Standard ML available as
open-source.
EOF
