From f0f94442e31c52ee37fa8d5900657d19fc113285 Mon Sep 17 00:00:00 2001 From: Brian Barrett Date: Fri, 1 Nov 2024 03:49:29 +0000 Subject: [PATCH] Release Open MPI 4.1.7 Signed-off-by: Brian Barrett --- index.php | 6 +++--- software/ompi/v4.1/timeline-graph.php | 3 ++- software/ompi/v4.1/version.inc | 4 ++-- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/index.php b/index.php index 4d0ea5f71..ef91551bf 100644 --- a/index.php +++ b/index.php @@ -86,12 +86,12 @@ function pr($name, $url, $comma) { CreateSimple($data); diff --git a/software/ompi/v4.1/version.inc b/software/ompi/v4.1/version.inc index 3478a9c59..80a9f7a23 100644 --- a/software/ompi/v4.1/version.inc +++ b/software/ompi/v4.1/version.inc @@ -11,11 +11,11 @@ $download_prefix="https://download.open-mpi.org/release/open-mpi/v" . $release_s $s3_prefix = "release/open-mpi/v" . $release_series . "/"; /* releases must be ordered newest to oldest */ -$releases = array("4.1.6", "4.1.5", "4.1.4", "4.1.3", "4.1.2", "4.1.1", "4.1.0"); +$releases = array("4.1.7", "4.1.6", "4.1.5", "4.1.4", "4.1.3", "4.1.2", "4.1.1", "4.1.0"); /* prereleases must be ordered newest to oldest. All prereleases will be shown, so make an empty array when the official release is added to releases above */ -$prereleases = array("4.1.7rc1"); +$prereleases = array(); /* set to true if we should add a cygwin note */ $cygwin_note = 0;