diff options
author | Ian Douglas Scott <ian@iandouglasscott.com> | 2020-02-02 20:46:47 -0800 |
---|---|---|
committer | Leo <thinkabit.ukim@gmail.com> | 2020-02-03 06:04:27 +0100 |
commit | 263593567d74ecdf15578a3e3cde47f2d93ff48b (patch) | |
tree | 153c7214d516eeed488989be75cbff301e4c4770 /testing/gprbuild | |
parent | 4d9d850efc2ec642210f2ec3f3650551df9663b9 (diff) | |
download | aports-263593567d74ecdf15578a3e3cde47f2d93ff48b.tar.bz2 aports-263593567d74ecdf15578a3e3cde47f2d93ff48b.tar.xz |
testing/gprbuild: updates urls to ones that currently work
Diffstat (limited to 'testing/gprbuild')
-rw-r--r-- | testing/gprbuild/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testing/gprbuild/APKBUILD b/testing/gprbuild/APKBUILD index 64aa04dfac..8766911cdd 100644 --- a/testing/gprbuild/APKBUILD +++ b/testing/gprbuild/APKBUILD @@ -4,11 +4,11 @@ pkgname=gprbuild pkgver=2019 pkgrel=0 pkgdesc="Builder for multi-language systems" -arch="" # Fails because the mirrors.cdn.adacore cannot resolve +arch="all" url="https://github.com/AdaCore/gprbuild" license="GPL-3.0-or-later" depends="gcc-gnat" -source="$pkgname-$pkgver.tar.gz::http://mirrors.cdn.adacore.com/art/5cdf8e8031e87a8f1d425093 xmlada-$pkgver.tar.gz::http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5" +source="$pkgname-$pkgver.tar.gz::https://community.download.adacore.com/v1/0c03c05cef70b85144ba0e624a46e8952183b666?filename=gprbuild-2019-20190517-194D8-src.tar.gz xmlada-$pkgver.tar.gz::https://community.download.adacore.com/v1/ce0b67754f149cd230ba842effeff0ab3033ed0c?filename=xmlada-2019-20190429-19B9D-src.tar.gz" # gprbuild doesn't seem to have tests options="!check" |