TIMESTAMP = 1581287113
SHA256 (ogdf.v2020.02.zip) = dff274a1e0ad571e3f0028601b58185582e5c6a56b9b0ffeeaa99231f9d75ea5
SIZE (ogdf.v2020.02.zip) = 5108638