diff --git a/extra/openmpi/PKGBUILD b/extra/openmpi/PKGBUILD index f6d7d91a0..85a3ddc68 100644 --- a/extra/openmpi/PKGBUILD +++ b/extra/openmpi/PKGBUILD @@ -7,7 +7,7 @@ pkgname=openmpi pkgver=3.0.1 -pkgrel=1 +pkgrel=2 pkgdesc='High performance message passing library (MPI)' url='https://www.open-mpi.org' arch=('x86_64')