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