From f3bd4cc5cb4f1b71afd2e244e81d7fea98243fdf Mon Sep 17 00:00:00 2001 From: "dupont-y@univ-nantes.fr" Date: Thu, 16 Mar 2023 11:27:39 +0100 Subject: [PATCH] really bump version --- glicid/packages/mpi.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/glicid/packages/mpi.scm b/glicid/packages/mpi.scm index b25ca0f..3c76885 100644 --- a/glicid/packages/mpi.scm +++ b/glicid/packages/mpi.scm @@ -42,7 +42,7 @@ (patches (search-patches "openmpi-mtl-priorities.patch")))))) (define local-openmpi - openmpi-upstream-4.1.4) + openmpi-upstream-4.1.5) (define-public openmpi-latest (latest-version local-openmpi gnu:openmpi))