wok diff openmpi/description.txt @ rev 25020

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author: Hans-G?nter Theisgen
date: Wed May 18 08:05:48 2022 +0100 (24 months ago)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/openmpi/description.txt	Wed May 18 08:05:48 2022 +0100
     1.3 @@ -0,0 +1,8 @@
     1.4 +The Open MPI Project is an open source Message Passing Interface
     1.5 +implementation that is developed and maintained by a consortium of
     1.6 +academic, research, and industry partners.
     1.7 +Open MPI is therefore able to combine the expertise, technologies,
     1.8 +and resources from all across the High Performance Computing community
     1.9 +in order to build the best MPI library available.
    1.10 +Open MPI offers advantages for system and software vendors,
    1.11 +application developers and computer science researchers.