TIMESTAMP = 1508281092
SHA256 (openmpi-2.1.2.tar.bz2) = 3cc5804984c5329bdf88effc44f2971ed244a29b256e0011b8deda02178dd635
SIZE (openmpi-2.1.2.tar.bz2) = 8278459