summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorXiretza2020-10-12 14:03:26 +0200
committerXiretza2020-10-12 14:03:26 +0200
commit3dbc01c242b36af8961236b639759c80c0715e37 (patch)
treefdbb18e8bffea720c81b4a12974793931b0e7ed4 /.SRCINFO
parent7e7e6bc1f8e6c52148b0f9603946e7d8b4383988 (diff)
downloadaur-3dbc01c242b36af8961236b639759c80c0715e37.tar.gz
Revert "Update to version 21.0w."
This reverts commit 7e7e6bc1f8e6c52148b0f9603946e7d8b4383988.
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO24
1 files changed, 15 insertions, 9 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 67c4d46c38f7..323190b3d8ef 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = gnat-gps
pkgdesc = GNAT Programming Studio for Ada
pkgver = 2020
- pkgrel = 4
+ pkgrel = 3
url = https://github.com/AdaCore/gps
arch = i686
arch = x86_64
@@ -22,17 +22,23 @@ pkgbase = gnat-gps
depends = gnome-icon-theme-symbolic
depends = python2-gobject
optdepends = python2-jedi
- source = https://community.download.adacore.com/v1/bfa68dd61a9288c79e9c08676878cac95e0fe628?filename=gps-21.0w-20200427-15496-src.tar.gz
- source = https://community.download.adacore.com/v1/05e31f6e36e2ff4313013d27f0551416de5a1b4e?filename=als-21.0w-20200427-156B6-src.tar.gz
- source = https://community.download.adacore.com/v1/334dca036084a92552860451619321faee571797?filename=libadalang-tools-_laltools_ver-src.tar.gz
- source = 0001-Honour-DESTDIR-in-installation-targets.patch
- source = 0002-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch
+ source = gps-1b841d995bd6171f2462cad4a00c34cb6989fa7b.tar.gz::https://github.com/AdaCore/gps/archive/1b841d995bd6171f2462cad4a00c34cb6989fa7b.tar.gz
+ source = ada_language_server-21.0.3.tar.gz::https://github.com/AdaCore/ada_language_server/archive/21.0.3.tar.gz
+ source = libadalang-tools-2020-20200429-1998C-src.tar.gz::https://community.download.adacore.com/v1/740372d8ffb1e4755a99bead2d78dace904235c0?filename=libadalang-tools-2020-20200429-1998C-src.tar.gz
+ source = 0001-Use-GPR.Sinput.Reference_Name.patch
+ source = 0002-Ignore-absence-of-version-number-in-user_guide.patch
+ source = 0003-Honour-DESTDIR-in-installation-targets.patch
+ source = 0004-Honour-GPRBUILD_FLAGS-in-cli-Makefile.patch
+ source = 0005-Fix-recursive-make-in-docs.patch
source = gps.desktop
- sha1sums = bfa68dd61a9288c79e9c08676878cac95e0fe628
- sha1sums = 05e31f6e36e2ff4313013d27f0551416de5a1b4e
- sha1sums = 334dca036084a92552860451619321faee571797
+ sha1sums = 357780e1155b38a5ff8b5a4c9b088f88682860d4
+ sha1sums = a737b6d7ee2d4a1193f088a0817070e545752dae
+ sha1sums = 740372d8ffb1e4755a99bead2d78dace904235c0
+ sha1sums = 7befc021358ada26c6a332e623113b32317bfd8c
+ sha1sums = 525f0b9d64fecb9c2e669cf64b60548b86c575d9
sha1sums = 4c13859aa25c5142bd5d0fde7b645217ddeccb50
sha1sums = 26f6fac439ec973facccee5412dc4c86b7c6d8c7
+ sha1sums = 6dd1f880f55c9612a2a67d41e6606df26cd829c6
sha1sums = b399c7b3a1fe48152da18081def3dced2e74763b
pkgname = gnat-gps