diff options
author | Florian Franzmann | 2019-09-21 18:07:52 +0200 |
---|---|---|
committer | Florian Franzmann | 2019-09-25 21:36:44 +0200 |
commit | 0faa70aed2cddcb9a6795213cfe86f6eccedfed1 (patch) | |
tree | 03a3542e1e33ce1ac30e7d08f86060511c5ffcbc /libs | |
parent | 5e2c99f64119c9b04f791a5b7b1615e73ae3cd17 (diff) |
libs/openmpi: version 4.0.1
Diffstat (limited to 'libs')
-rwxr-xr-x | libs/openmpi/DETAILS | 4 | ||||
-rw-r--r-- | libs/openmpi/HISTORY | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/libs/openmpi/DETAILS b/libs/openmpi/DETAILS index e1c1670abb..209d5f8cd6 100755 --- a/libs/openmpi/DETAILS +++ b/libs/openmpi/DETAILS @@ -1,7 +1,7 @@ SPELL=openmpi - VERSION=4.0.0 + VERSION=4.0.1 SECURITY_PATCH=1 - SOURCE_HASH=sha512:978097dcbb16df2a616dcbbef9536fed0f7be40914daa8f927882d91bdda9265e54334fc12aeef49b41073d8782321b5611a7e9c71182258a45bca5f640e927b + SOURCE_HASH=sha512:09f35dc2e44b4f84aab9c5af9d81f90bbdb030e4d90800a5d3ffae88cb32b7faecc9bea0abb113da53c21f73e9d19db68f961f997bc47bdd28d83a87beee0731 VX=`echo $VERSION|cut -c-3` SOURCE=$SPELL-$VERSION.tar.bz2 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION diff --git a/libs/openmpi/HISTORY b/libs/openmpi/HISTORY index 7508b0c8a2..01357860ad 100644 --- a/libs/openmpi/HISTORY +++ b/libs/openmpi/HISTORY @@ -1,3 +1,6 @@ +2019-09-21 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 4.0.1 + 2019-01-30 Treeve Jelbert <treeve@sourcemage.org> * DETAILS: version 4.0.0 |