summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO6
1 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 5bb24c35b37d..446a525c1e77 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,14 +1,14 @@
pkgbase = gprbuild-bootstrap
pkgdesc = Static GPRbuild to bootstrap XML/Ada and GPRbuild itself
pkgver = 2019
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/AdaCore/gprbuild/
arch = i686
arch = x86_64
license = GPL3
depends = gcc-ada
- source = http://mirrors.cdn.adacore.com/art/5cdf8e8031e87a8f1d425093
- source = http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5
+ source = https://community.download.adacore.com/v1/0c03c05cef70b85144ba0e624a46e8952183b666?filename=gprbuild-2019-20190517-194D8-src.tar.gz
+ source = https://community.download.adacore.com/v1/ce0b67754f149cd230ba842effeff0ab3033ed0c?filename=xmlada-2019-20190429-19B9D-src.tar.gz
sha1sums = 0c03c05cef70b85144ba0e624a46e8952183b666
sha1sums = ce0b67754f149cd230ba842effeff0ab3033ed0c