summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD1
1 files changed, 0 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 7b9d56444740..c0a3e7898e85 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -10,7 +10,6 @@ arch=('i686' 'x86_64')
url='https://github.com/AdaCore/gprbuild/'
license=('GPL3')
depends=('glibc' 'gcc-ada>=8.2.1' 'gcc-ada<9.0.0')
-provides=('gprbuild=2018')
source=('http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a68'
'http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40')