aboutsummaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
Diffstat (limited to 'development')
-rw-r--r--development/camlp5/camlp5.SlackBuild2
-rw-r--r--development/camlp5/camlp5.info6
2 files changed, 4 insertions, 4 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index bedd2e7c72269..42aa2655a0077 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -19,7 +19,7 @@
# Rewrite for updated camlp5 Panagiotis Nikolaou, Karlovasi Samos, Gr
PRGNAM=camlp5
-VERSION=${VERSION:-6.13}
+VERSION=${VERSION:-6.16}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index cb92cfc272324..81f52c9afbc19 100644
--- a/development/camlp5/camlp5.info
+++ b/development/camlp5/camlp5.info
@@ -1,8 +1,8 @@
PRGNAM="camlp5"
-VERSION="6.13"
+VERSION="6.16"
HOMEPAGE="http://camlp5.gforge.inria.fr/"
-DOWNLOAD="http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.13.tgz"
-MD5SUM="1e75b167a0c00bd47fb24e4101f5f21f"
+DOWNLOAD="http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.16.tgz"
+MD5SUM="c096732e42e61629d4a640be15790dba"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="ocaml"