blob: 0557ba24010b436493b136df7325f33cfd27edd0 (
plain) (
blame)
1
2
3
|
TIMESTAMP = 1465501253
SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab
SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175
|