summaryrefslogtreecommitdiff
path: root/development/camlp5/camlp5.info
diff options
context:
space:
mode:
authorMatteo Bernardini <ponce@slackbuilds.org>2016-07-07 16:46:44 +0200
committerRobby Workman <rworkman@slackbuilds.org>2016-07-20 14:20:08 -0500
commit7a855f4f1abf9c2a920c9b162a6dee2700871a41 (patch)
tree7f697dc4f4c9ce5938115998b3c79c0dc33f31de /development/camlp5/camlp5.info
parent8732f8759eaeeb1e3349000e25d9d4f713a3d887 (diff)
downloadslackbuilds-7a855f4f1abf9c2a920c9b162a6dee2700871a41.tar.gz
development/camlp5: Updated for version 6.16.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/camlp5/camlp5.info')
-rw-r--r--development/camlp5/camlp5.info6
1 files changed, 3 insertions, 3 deletions
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"