summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwigums <pioneer22675@gmail.com>2020-02-15 08:17:34 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2020-02-15 08:17:34 +0700
commitca466536372511485ee4b78ff16a64f9c7631292 (patch)
tree751f30edb954f731c0a52b09da49d8695a262f84
parentba068cc1f321ec2223b82f53030b784a61ec5566 (diff)
downloadslackbuilds-ca466536372511485ee4b78ff16a64f9c7631292.tar.gz
development/bigloo: Updated for version 4.3f.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
-rw-r--r--development/bigloo/bigloo.SlackBuild4
-rw-r--r--development/bigloo/bigloo.info10
2 files changed, 7 insertions, 7 deletions
diff --git a/development/bigloo/bigloo.SlackBuild b/development/bigloo/bigloo.SlackBuild
index d557645f53..b9d75a2c17 100644
--- a/development/bigloo/bigloo.SlackBuild
+++ b/development/bigloo/bigloo.SlackBuild
@@ -24,7 +24,7 @@
# not, see <http://www.gnu.org/licenses/>.
PRGNAM=bigloo
-VERSION=${VERSION:-4.1a_2}
+VERSION=${VERSION:-4.3f}
SRCVER=$(echo $VERSION | tr _ -)
BUILD=${BUILD:-1}
TAG=${TAG:-_SBo}
@@ -100,7 +100,7 @@ find $PKG/usr/info -type f -exec gzip -9 {} \;
find $PKG/usr/man -type f -exec gzip -9 {} \;
mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION
-cp COPYING ChangeLog INSTALL INSTALL.jvm LICENSE README \
+cp COPYING ChangeLog INSTALL.jvm LICENSE \
$PKG/usr/doc/$PRGNAM-$VERSION
cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild
diff --git a/development/bigloo/bigloo.info b/development/bigloo/bigloo.info
index 980b0bbc83..a62fe1c253 100644
--- a/development/bigloo/bigloo.info
+++ b/development/bigloo/bigloo.info
@@ -1,10 +1,10 @@
PRGNAM="bigloo"
-VERSION="4.1a_2"
+VERSION="4.3f"
HOMEPAGE="http://www-sop.inria.fr/mimosa/fp/Bigloo/"
-DOWNLOAD="ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.1a-2.tar.gz"
-MD5SUM="64f17f126691baf1eb2c22a4f26edc1b"
+DOWNLOAD="ftp://ftp-sop.inria.fr/indes/fp/Bigloo/bigloo4.3f.tar.gz"
+MD5SUM="c6f860293bb41edeb42cec9c79264187"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES=""
-MAINTAINER="orphaned - no maintainer"
-EMAIL="nobody@nowhere"
+MAINTAINER="wigums"
+EMAIL="pioneer22675@gmail.com"