TIMESTAMP = 1532277676
SHA256 (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 92d57d88967e5615d5c806e52a427180b3ccd95a5b018c0bfab3e895b8b13111
SIZE (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 969253