Andreas Ländle 3b74e0f275 Install libopenmpi-dev for mpi-hs.		2024-01-29 20:24:30 +01:00
..
01-build-server.sh
02-apt-get-install.sh	Install libopenmpi-dev for mpi-hs.	2024-01-29 20:24:30 +01:00
03-custom-install.sh
04-cleanup.sh