TIMESTAMP = 1516181302
SHA256 (bddsolve-source-1.04.zip) = 83fc84063a7fc9b2c8afaa12fab1a81d7b950be438381af14a34dc037d315615
SIZE (bddsolve-source-1.04.zip) = 18446