diff options
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 1 |
2 files changed, 0 insertions, 2 deletions
@@ -9,7 +9,6 @@ pkgbase = gprbuild-bootstrap depends = glibc depends = gcc-ada>=8.2.1 depends = gcc-ada<9.0.0 - provides = gprbuild=2018 source = http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a68 source = http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40 sha1sums = f2cfc62fc05ae510e7e3aa7138d27ccb38096bdd @@ -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') |