diff --git a/packages/mpi/openmpi/openmpi-5.0.0rc11 b/packages/mpi/openmpi/openmpi-5.0.0 similarity index 98% rename from packages/mpi/openmpi/openmpi-5.0.0rc11 rename to packages/mpi/openmpi/openmpi-5.0.0 index 7a97869..356d784 100755 --- a/packages/mpi/openmpi/openmpi-5.0.0rc11 +++ b/packages/mpi/openmpi/openmpi-5.0.0 @@ -6,7 +6,7 @@ CATEGORY="mpi" PACKAGE="openmpi" -VERSION="5.0.0rc11" +VERSION="5.0.0" URL="http://www.open-mpi.org" INSTALLER="Christoph Niethammer "