summaryrefslogtreecommitdiff
path: root/extra/openmpi
diff options
context:
space:
mode:
authorNicolás Reynolds <fauno@endefensadelsl.org>2014-05-03 04:02:27 +0000
committerNicolás Reynolds <fauno@endefensadelsl.org>2014-05-03 04:02:27 +0000
commit5daf7a199ac436064eb4f3343e4a38ea383d628e (patch)
treeef80c239155f9c38ac9de922eef30fdcb3810e01 /extra/openmpi
parent747fac818a9021f876837c839ce15c301b7e229f (diff)
Sat May 3 03:56:22 UTC 2014
Diffstat (limited to 'extra/openmpi')
-rw-r--r--extra/openmpi/PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/openmpi/PKGBUILD b/extra/openmpi/PKGBUILD
index 28c3127a5..69ee66abb 100644
--- a/extra/openmpi/PKGBUILD
+++ b/extra/openmpi/PKGBUILD
@@ -1,10 +1,10 @@
-# $Id: PKGBUILD 211751 2014-04-25 17:43:28Z anatolik $
+# $Id: PKGBUILD 211967 2014-05-02 08:41:20Z allan $
# Maintainer: Anatol Pomozov <anatol dot pomozov at gmail>
# Contributor: Stéphane Gaudreault <stephane@archlinux.org>
pkgname=openmpi
pkgver=1.8.1
-pkgrel=1
+pkgrel=2
pkgdesc='High performance message passing library (MPI)'
arch=(i686 x86_64)
url='http://www.open-mpi.org'