TIMESTAMP = 1535029733
SHA256 (openmpi-3.1.2.tar.bz2) = c654ed847f34a278c52a15c98add40402b4a90f0c540779f1ae6c489af8a76c5
SIZE (openmpi-3.1.2.tar.bz2) = 9461841