From fe4efa5edb824579a8b8d03703c61c8ce33b00f0 Mon Sep 17 00:00:00 2001
From: Panagiotis Nikolaou <hostmaster@slackonly.com>
Date: Sat, 14 Oct 2017 10:09:25 +0100
Subject: development/camlp5: Updated for version 7.02.

Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
---
 development/camlp5/camlp5.SlackBuild | 4 ++--
 development/camlp5/camlp5.info       | 6 +++---
 development/camlp5/doinst.sh         | 1 -
 3 files changed, 5 insertions(+), 6 deletions(-)
 delete mode 100644 development/camlp5/doinst.sh

(limited to 'development/camlp5')

diff --git a/development/camlp5/camlp5.SlackBuild b/development/camlp5/camlp5.SlackBuild
index 2f64a80882..dc1eb55f7c 100644
--- a/development/camlp5/camlp5.SlackBuild
+++ b/development/camlp5/camlp5.SlackBuild
@@ -19,8 +19,8 @@
 # Rewrite for updated camlp5 Panagiotis Nikolaou, Culver City, CA
 
 PRGNAM=camlp5
-VERSION=${VERSION:-7.01}
-SRCVER=rel701
+VERSION=${VERSION:-7.02}
+SRCVER=rel702
 BUILD=${BUILD:-1}
 TAG=${TAG:-_SBo}
 
diff --git a/development/camlp5/camlp5.info b/development/camlp5/camlp5.info
index 94502dce1a..a6df2a5522 100644
--- a/development/camlp5/camlp5.info
+++ b/development/camlp5/camlp5.info
@@ -1,8 +1,8 @@
 PRGNAM="camlp5"
-VERSION="7.01"
+VERSION="7.02"
 HOMEPAGE="https://camlp5.github.io/"
-DOWNLOAD="https://master.dl.sourceforge.net/project/slackbuildsdirectlinks/camlp5/camlp5-rel701.tar.gz"
-MD5SUM="438f8861a5a7aabd6030b732c6497045"
+DOWNLOAD="https://master.dl.sourceforge.net/project/slackbuildsdirectlinks/camlp5/camlp5-rel702.tar.gz"
+MD5SUM="99ffb34eda1b9cebd36d423f9c5b01a2"
 DOWNLOAD_x86_64=""
 MD5SUM_x86_64=""
 REQUIRES="ocaml"
diff --git a/development/camlp5/doinst.sh b/development/camlp5/doinst.sh
deleted file mode 100644
index 8b13789179..0000000000
--- a/development/camlp5/doinst.sh
+++ /dev/null
@@ -1 +0,0 @@
-
-- 
cgit v1.2.3