summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
author Matteo Bernardini2016-07-07 16:46:44 +0200
committer Robby Workman2016-07-20 21:20:08 +0200
commit7a855f4f1abf9c2a920c9b162a6dee2700871a41 (patch)
tree7f697dc4f4c9ce5938115998b3c79c0dc33f31de
parent8732f8759eaeeb1e3349000e25d9d4f713a3d887 (diff)
downloadslackbuilds-7a855f4f1abf9c2a920c9b162a6dee2700871a41.tar.gz
development/camlp5: Updated for version 6.16.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
-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 bedd2e7c72..42aa2655a0 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 cb92cfc272..81f52c9afb 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"