TIMESTAMP = 1556047729
SHA256 (openmpi-3.1.4.tar.bz2) = 17a69e0054db530c7dc119f75bd07d079efa147cf94bf27e590905864fe379d6
SIZE (openmpi-3.1.4.tar.bz2) = 9468371