aboutsummaryrefslogtreecommitdiff
path: root/development
diff options
context:
space:
mode:
Diffstat (limited to 'development')
-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 76e153cc35d77..bedd2e7c72269 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 43283cc11d201..cb92cfc272324 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"