diff options
| author | Xiretza | 2020-10-12 15:43:28 +0200 |
|---|---|---|
| committer | Xiretza | 2020-10-12 15:44:57 +0200 |
| commit | 44b439f3a765ff3b774e4948333857047112f5db (patch) | |
| tree | e67791e0ba75c1b9550cfe3e2fb54ed709836e60 /.SRCINFO | |
| parent | 3dbc01c242b36af8961236b639759c80c0715e37 (diff) | |
| download | aur-44b439f3a765ff3b774e4948333857047112f5db.tar.gz | |
Change to 21.0w release
Seems to be somwhat recent, and the only release for which tarball
downloads are avaible on https://www.adacore.com/download/more for
all components
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 18 |
1 files changed, 8 insertions, 10 deletions
@@ -1,7 +1,7 @@ pkgbase = gnat-gps pkgdesc = GNAT Programming Studio for Ada pkgver = 2020 - pkgrel = 3 + pkgrel = 5 url = https://github.com/AdaCore/gps arch = i686 arch = x86_64 @@ -20,21 +20,19 @@ pkgbase = gnat-gps depends = gnome-icon-theme depends = gnome-icon-theme-extras depends = gnome-icon-theme-symbolic - depends = python2-gobject + depends = python2-gobject2 optdepends = python2-jedi - 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 = gps-21.0w-20200427-15496-src.tar.gz::https://community.download.adacore.com/v1/bfa68dd61a9288c79e9c08676878cac95e0fe628?filename= + source = als-21.0w-20200427-156B6-src.tar.gz::https://community.download.adacore.com/v1/05e31f6e36e2ff4313013d27f0551416de5a1b4e?filename= + source = libadalang-tools-21.0w-20200425-15675-src.tar.gz::https://community.download.adacore.com/v1/334dca036084a92552860451619321faee571797?filename= 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 = 357780e1155b38a5ff8b5a4c9b088f88682860d4 - sha1sums = a737b6d7ee2d4a1193f088a0817070e545752dae - sha1sums = 740372d8ffb1e4755a99bead2d78dace904235c0 - sha1sums = 7befc021358ada26c6a332e623113b32317bfd8c + sha1sums = bfa68dd61a9288c79e9c08676878cac95e0fe628 + sha1sums = 05e31f6e36e2ff4313013d27f0551416de5a1b4e + sha1sums = 334dca036084a92552860451619321faee571797 sha1sums = 525f0b9d64fecb9c2e669cf64b60548b86c575d9 sha1sums = 4c13859aa25c5142bd5d0fde7b645217ddeccb50 sha1sums = 26f6fac439ec973facccee5412dc4c86b7c6d8c7 |