diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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') |