diff options
Diffstat (limited to 'devel/gprbuild/distinfo')
| -rw-r--r-- | devel/gprbuild/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/gprbuild/distinfo b/devel/gprbuild/distinfo index 01ea22cbd556..0458b89c6921 100644 --- a/devel/gprbuild/distinfo +++ b/devel/gprbuild/distinfo @@ -1,2 +1,2 @@ -SHA256 (gprbuild-gpl-2012-src.tgz) = 6884def18abae463ffcc31a958f3aba804e5445ebdaef7d6b27c3c8efc912eb4 -SIZE (gprbuild-gpl-2012-src.tgz) = 2159669 +SHA256 (gprbuild-gpl-2013-src.tgz) = 7492347462d0a11a3672397a991ce3741347def3a468f850a91a54dfd4349144 +SIZE (gprbuild-gpl-2013-src.tgz) = 2291685 |