TIMESTAMP = 1465501253
SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab
SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175