diff options
Diffstat (limited to 'devel/gprbuild/distinfo')
| -rw-r--r-- | devel/gprbuild/distinfo | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/gprbuild/distinfo b/devel/gprbuild/distinfo index 3890f12281d2..0557ba24010b 100644 --- a/devel/gprbuild/distinfo +++ b/devel/gprbuild/distinfo @@ -1,2 +1,3 @@ -SHA256 (gprbuild-gpl-2015-src.tar.gz) = 5d5bbc8c57075250c264e2f15d9949383450ac696eb8a90803c2a36b55ecd0e2 -SIZE (gprbuild-gpl-2015-src.tar.gz) = 3424715 +TIMESTAMP = 1465501253 +SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab +SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175 |