diff --git a/sources b/sources new file mode 100644 index 0000000..047b1ea --- /dev/null +++ b/sources @@ -0,0 +1 @@ +SHA512 (openmpi-4.0.1.tar.bz2) = 09f35dc2e44b4f84aab9c5af9d81f90bbdb030e4d90800a5d3ffae88cb32b7faecc9bea0abb113da53c21f73e9d19db68f961f997bc47bdd28d83a87beee0731