[Lunar-commits] <moonbase> polyml: Version bump.

Wed Nov 25 03:01:59 CET 2009

commit 5393ae4bf53b6e55530151cd13575b7e9debc9bf
Author: Dennis `stumbles` Veatch <stumbles at lunar-linux.org>
Date:   Tue Nov 24 21:01:59 2009 -0500

    polyml: Version bump.
---
 compilers/polyml/DETAILS |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compilers/polyml/DETAILS b/compilers/polyml/DETAILS
index f512395..2d883b8 100644
--- a/compilers/polyml/DETAILS
+++ b/compilers/polyml/DETAILS
@@ -1,12 +1,12 @@
           MODULE=polyml
-         VERSION=5.2.1
+         VERSION=5.3
           SOURCE=$MODULE.$VERSION.tar.gz
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE.$VERSION
       SOURCE_URL=$SFORGE_URL/$MODULE/
-      SOURCE_VFY=sha1:39cc9451113d41ca9c491167cf3973dfd55b7446
+      SOURCE_VFY=sha1:a037cd8cf4ce4a43b685b0e0d80f3f1e20d7c9fa
         WEB_SITE=http://polyml.org/
          ENTERED=20071103
-         UPDATED=20090625
+         UPDATED=20091124
             WHAT="Full Standard ML implementation"
 
 cat << EOF
