diff options
author | root <root@rshg054.dnsready.net> | 2012-04-06 00:01:15 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-04-06 00:01:15 +0000 |
commit | 870286a74f6142709671fd3437944382f29bf352 (patch) | |
tree | 00501e7d18319db16b20e39436b8fb60837bdfe5 /extra/openmpi | |
parent | a7f79fc1ced18c586d320033ac9738e98a21b550 (diff) |
Fri Apr 6 00:01:15 UTC 2012
Diffstat (limited to 'extra/openmpi')
-rw-r--r-- | extra/openmpi/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/openmpi/PKGBUILD b/extra/openmpi/PKGBUILD index 8b4f8d9b5..c29af7221 100644 --- a/extra/openmpi/PKGBUILD +++ b/extra/openmpi/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 155428 2012-04-03 14:17:40Z stephane $ +# $Id: PKGBUILD 155500 2012-04-04 11:28:36Z stephane $ # Maintainer: Stéphane Gaudreault <stephane@archlinux.org> pkgname=openmpi pkgver=1.5.5 -pkgrel=1 +pkgrel=2 pkgdesc="High performance message passing library (MPI)" arch=('i686' 'x86_64') url="http://www.open-mpi.org" |