summaryrefslogtreecommitdiffstats
path: root/development/coccinelle
diff options
context:
space:
mode:
author Matteo Bernardini <ponce@slackbuilds.org>2022-02-24 21:00:25 +0100
committer Willy Sudiarto Raharjo <willysr@slackbuilds.org>2022-02-25 22:58:08 +0700
commitbaa9348c8199a1c2103dd96e0424598f6e17db61 (patch)
tree7c433c1e903286278e69a2defc30c8b08d516c72 /development/coccinelle
parent3eff74a1548f2c92e3c760443472a89208c885d9 (diff)
downloadslackbuilds-baa9348c8199a1c2103dd96e0424598f6e17db61.tar.gz
slackbuilds-baa9348c8199a1c2103dd96e0424598f6e17db61.tar.xz
development/coccinelle: Updated for version 1.1.1.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/coccinelle')
-rw-r--r--development/coccinelle/coccinelle.SlackBuild2
-rw-r--r--development/coccinelle/coccinelle.info8
2 files changed, 5 insertions, 5 deletions
diff --git a/development/coccinelle/coccinelle.SlackBuild b/development/coccinelle/coccinelle.SlackBuild
index 3e059c58e3..9808fd8c1a 100644
--- a/development/coccinelle/coccinelle.SlackBuild
+++ b/development/coccinelle/coccinelle.SlackBuild
@@ -25,7 +25,7 @@
cd $(dirname $0) ; CWD=$(pwd)
PRGNAM=coccinelle
-VERSION=${VERSION:-1.0.8}
+VERSION=${VERSION:-1.1.1}
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
PKGTYPE=${PKGTYPE:-tgz}
diff --git a/development/coccinelle/coccinelle.info b/development/coccinelle/coccinelle.info
index 6673d37227..d462ab0a95 100644
--- a/development/coccinelle/coccinelle.info
+++ b/development/coccinelle/coccinelle.info
@@ -1,10 +1,10 @@
PRGNAM="coccinelle"
-VERSION="1.0.8"
+VERSION="1.1.1"
HOMEPAGE="http://coccinelle.lip6.fr/"
-DOWNLOAD="https://github.com/coccinelle/coccinelle/archive/1.0.8/coccinelle-1.0.8.tar.gz"
-MD5SUM="d58871107c28a970fc53e4f8124d14e1"
+DOWNLOAD="https://github.com/coccinelle/coccinelle/archive/1.1.1/coccinelle-1.1.1.tar.gz"
+MD5SUM="d7404a70dd4480cb0f0d346550437d5c"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
-REQUIRES="camlp4 menhir"
+REQUIRES="ocaml-findlib ocaml-num"
MAINTAINER="Dimitris Zlatanidis"
EMAIL="d.zlatanidis@gmail.com"