          MODULE=polyml
         VERSION=5.9.1
          SOURCE=$MODULE.$VERSION.tar.gz
 SOURCE_URL_FULL=https://github.com/polyml/polyml/archive/v$VERSION.tar.gz
      SOURCE_VFY=sha256:52f56a57a4f308f79446d479e744312195b298aa65181893bce2dfc023a3663c
        WEB_SITE=http://polyml.org/
         ENTERED=20071103
         UPDATED=20240728
           SHORT="Full Standard ML implementation"

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