From fd4f004fce65d57bb2f13c71e74030cf8c481028 Mon Sep 17 00:00:00 2001 From: David Runge Date: Mon, 19 Feb 2024 09:52:43 +0100 Subject: Update openmpi Signed-off-by: David Runge --- extra.old.json | 1 + extra.old.json~ | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/extra.old.json b/extra.old.json index b1c30bc..4990b46 100644 --- a/extra.old.json +++ b/extra.old.json @@ -331,6 +331,7 @@ "openapi-generator": "v7.3.0", "opencore-amr": "v0.1.6", "openfec": "v1.4.2.9", + "openmpi": "v5.0.2", "openpgp-ca": "openpgp-ca/v0.13.1", "openpgp-card-tools": "v0.10.0", "openshot": "v3.1.1", diff --git a/extra.old.json~ b/extra.old.json~ index fe3ba9b..b1c30bc 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -306,7 +306,7 @@ "neovim-lspconfig": "v0.1.7", "neovim-nvim-treesitter": "v0.9.2", "netavark": "v1.10.3", - "nethsm-pkcs11": "1.2.0", + "nethsm-pkcs11": "1.3.0", "new-session-manager": "v1.6.1", "nextcloud": "v28.0.2", "nextcloud-app-bookmarks": "v13.1.3", -- cgit v1.2.3-70-g09d2