diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Sun Jun 5 21:24:13 UTC 2016 +# Wed Jun 8 07:30:01 UTC 2016 pkgbase = gprbuild pkgdesc = Software tool designed to help automate the construction of multi-language systems pkgver = 2016 @@ -9,8 +9,10 @@ pkgbase = gprbuild license = GPL depends = gcc-ada depends = xmlada - source = http://mirrors.cdn.adacore.com/art/57399662c7a447658e0affa8 - sha256sums = d51659454bc0aaf1a9a9f1d05aab469a1f3d900065a4542123d3a59ab067275d + source = gprbuild-gpl-2016-src.tar.gz::http://mirrors.cdn.adacore.com/art/57399662c7a447658e0affa8 + source = gprbuild-gpl-2016-x86_64-linux-bin::http://mirrors.cdn.adacore.com/art/5739cbf1c7a447658d00e326 + sha1sums = c85b877596dbc53bfc39ec5b23f674e8463677ce + sha1sums = 270aa41c2ed6381460502ac00ecef7dfefd07000 pkgname = gprbuild |