Rodrigo Arias Mallo b2283efd46 Install the Intel MPI libmpi.so into lib/		2023-06-16 17:05:09 +02:00
..
2023.nix	Install the Intel MPI libmpi.so into lib/	2023-06-16 17:05:09 +02:00