TIMESTAMP = 1465390671
SHA256 (AdaCore-xmlada-17.0.0-1184d97_GH0.tar.gz) = a723a5a47f0e3631753e15a4ba199506f32512e87ca3d58c7f22a26e21b39e7c
SIZE (AdaCore-xmlada-17.0.0-1184d97_GH0.tar.gz) = 1031585