summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 805e041c8d84..f46da0873ed9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -23,7 +23,7 @@ url="http://www.adacore.com/gnatpro/toolsuite/gprbuild/"
# "patch-src_gprinstall-install.adb"
# "extrapatch-src_gprslave.adb")
-source=("http://mirrors.cdn.adacore.com/art/3c2da2f1d3335d39bc9ebb65a3a58264ddac6d41"
+source=("http://mirrors.cdn.adacore.com/art/564b3e2ec8e196b040fbd13a"
"Makefile.archy"
"patch-gnat_targparm"
)