TIMESTAMP = 1483395653
SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893