summaryrefslogtreecommitdiff
path: root/development/camlp5
diff options
context:
space:
mode:
authorPanagiotis Nikolaou <hostmaster@slackonly.com>2015-07-22 08:09:52 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2015-07-22 08:09:52 +0700
commit743cc4331b1b066610f6208d6a394d73c707889c (patch)
treed9eeb5e9d8247423a2b03e4929de00142c7db15f /development/camlp5
parente9079c096193e69cfaae8dfb4d63be54ff0085d3 (diff)
downloadslackbuilds-743cc4331b1b066610f6208d6a394d73c707889c.tar.gz
development/camlp5: Updated for version 6.13.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/camlp5')
-rw-r--r--development/camlp5/camlp5.SlackBuild19
-rw-r--r--development/camlp5/camlp5.info8
2 files changed, 20 insertions, 7 deletions
diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index 76e153cc35..bedd2e7c72 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -1,12 +1,25 @@
#!/bin/sh
-
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+#
# Slackware build script for camlp5
# Written by adaptr (jeroen@adaptr.nl)
-# Rewrite for updated camlp5 (panos.mdma@gmail.com)
+# Rewrite for updated camlp5 Panagiotis Nikolaou, Karlovasi Samos, Gr
PRGNAM=camlp5
-VERSION=${VERSION:-6.11}
+VERSION=${VERSION:-6.13}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index 43283cc11d..cb92cfc272 100644
--- a/development/camlp5/camlp5.info
+++ b/development/camlp5/camlp5.info
@@ -1,10 +1,10 @@
PRGNAM="camlp5"
-VERSION="6.11"
+VERSION="6.13"
HOMEPAGE="http://camlp5.gforge.inria.fr/"
-DOWNLOAD="http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.11.tgz"
-MD5SUM="5bd3d0e8a32d762b28107caef631f860"
+DOWNLOAD="http://camlp5.gforge.inria.fr/distrib/src/camlp5-6.13.tgz"
+MD5SUM="1e75b167a0c00bd47fb24e4101f5f21f"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="ocaml"
MAINTAINER="Panagiotis Nikolaou"
-EMAIL="panos.mdma@gmail.com"
+EMAIL="hostmaster@slackonly.com"