diff options
Diffstat (limited to 'development/polyml/polyml.info')
| -rw-r--r-- | development/polyml/polyml.info | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/development/polyml/polyml.info b/development/polyml/polyml.info index 1c24eeefc5..0baea93db5 100644 --- a/development/polyml/polyml.info +++ b/development/polyml/polyml.info @@ -1,10 +1,10 @@ PRGNAM="polyml" -VERSION="5.3" +VERSION="5.5.2" HOMEPAGE="http://www.polyml.org/" -DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.3/polyml.5.3.tar.gz" -MD5SUM="c4e3a33307c4465c4f068ae4fa225ced" +DOWNLOAD="http://downloads.sourceforge.net/project/polyml/polyml/5.5.2/polyml.5.5.2.tar.gz" +MD5SUM="c935fd2d17749c1e127098215da990c9" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" -MAINTAINER="nobody" -EMAIL="nobody" +MAINTAINER="Antonio Hernández Blas" +EMAIL="hba.nihilismus@gmail.com" |