diff options
Diffstat (limited to 'development/polyml/polyml.info')
| -rw-r--r-- | development/polyml/polyml.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/polyml/polyml.info b/development/polyml/polyml.info new file mode 100644 index 0000000000..499a28bb13 --- /dev/null +++ b/development/polyml/polyml.info @@ -0,0 +1,10 @@ +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" |