diff options
author | Emmanuel N. Millan <emmanueln@gmail.com> | 2018-05-29 09:10:59 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2018-05-29 09:10:59 +0700 |
commit | 4c264022ff656b69af5862d5708a8c7ba33705c4 (patch) | |
tree | d7d2286f172b1e875889fed55a5b29ce91968835 | |
parent | fe0c871392a3c15295a6c0c10a915c999d3d746d (diff) | |
download | slackbuilds-4c264022ff656b69af5862d5708a8c7ba33705c4.tar.gz |
system/openmpi: Updated for version 2.1.3.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
-rw-r--r-- | system/openmpi/openmpi.SlackBuild | 4 | ||||
-rw-r--r-- | system/openmpi/openmpi.info | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/system/openmpi/openmpi.SlackBuild b/system/openmpi/openmpi.SlackBuild index 87fd64b090..3d6144c033 100644 --- a/system/openmpi/openmpi.SlackBuild +++ b/system/openmpi/openmpi.SlackBuild @@ -5,7 +5,7 @@ # Copyright 2010 Erik W. Hanson, Minneapolis, MN, USA # All rights reserved. # -# Copyright 2015 Emmanuel N. Millán, Mendoza, Argentina. +# Copyright 2015 Emmanuel N. Millan, Mendoza, Argentina. # All rights reserved. # # Redistribution and use of this script, with or without modification, is @@ -26,7 +26,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=openmpi -VERSION=${VERSION:-2.1.1} +VERSION=${VERSION:-2.1.3} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} diff --git a/system/openmpi/openmpi.info b/system/openmpi/openmpi.info index a6c969dfbc..ea11a17f41 100644 --- a/system/openmpi/openmpi.info +++ b/system/openmpi/openmpi.info @@ -1,10 +1,10 @@ PRGNAM="openmpi" -VERSION="2.1.1" +VERSION="2.1.3" HOMEPAGE="http://www.open-mpi.org/" -DOWNLOAD="https://www.open-mpi.org/software/ompi/v2.1/downloads/openmpi-2.1.1.tar.bz2" -MD5SUM="ae542f5cf013943ffbbeb93df883731b" +DOWNLOAD="https://www.open-mpi.org/software/ompi/v2.1/downloads/openmpi-2.1.3.tar.bz2" +MD5SUM="46079b6f898a412240a0bf523e6cd24b" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" -MAINTAINER="Emmanuel N. Millán" +MAINTAINER="Emmanuel N. Millan" EMAIL="emmanueln@gmail.com" |