From 263593567d74ecdf15578a3e3cde47f2d93ff48b Mon Sep 17 00:00:00 2001 From: Ian Douglas Scott Date: Sun, 2 Feb 2020 20:46:47 -0800 Subject: testing/gprbuild: updates urls to ones that currently work --- testing/gprbuild/APKBUILD | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'testing/gprbuild') 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" -- cgit v1.2.3