summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorEarnestly2019-01-10 19:11:55 +0000
committerEarnestly2019-01-10 19:11:55 +0000
commit3cf472cbc8d1219bf0ce528e9317d772b8ca2358 (patch)
treeae3e6e341b20f235d1aac88125cdcbd72d3817b9 /PKGBUILD
parent4ad7abd8dd23d45382ceb58a46244b578392036a (diff)
downloadaur-spark2014-git.tar.gz
spark2014: switch to fsf branch
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 2f88ca91015..0b9d35daa8c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,5 +1,5 @@
pkgname=spark2014-git
-pkgver=0.3.draft.r17341.g2536e7fb9
+pkgver=0.3.draft.r17853.g7a0a54649
pkgrel=1
pkgdesc='formally defined programming language based on ada (gnat fsf)'
@@ -24,7 +24,7 @@ conflicts=('spark2014' 'why3')
# directory instead of cloning the entire gcc tree. The downside to this is
# that github will take awhile to generate the checkout.
# svn+https://github.com/gcc-mirror/gcc/trunk/gcc/ada
-source=('git+https://github.com/AdaCore/spark2014'
+source=('git+https://github.com/AdaCore/spark2014#branch=fsf'
'why3-adacore::git+https://github.com/AdaCore/why3'
'git+https://github.com/gcc-mirror/gcc'
'makefile-installdir-fixes.diff')