diff options
| author |   wigums | 2020-02-15 02:17:34 +0100 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo | 2020-02-15 02:17:34 +0100 |
| commit | ca466536372511485ee4b78ff16a64f9c7631292 (patch) | |
| tree | 751f30edb954f731c0a52b09da49d8695a262f84 | |
| parent | ba068cc1f321ec2223b82f53030b784a61ec5566 (diff) | |
| download | slackbuilds-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.SlackBuild | 4 | ||||
| -rw-r--r-- | development/bigloo/bigloo.info | 10 |
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" |