pkgbase = gprbuild-bootstrap
	pkgdesc = Static GPRbuild to bootstrap XML/Ada and GPRbuild itself
	pkgver = 2018
	pkgrel = 3
	url = https://github.com/AdaCore/gprbuild/
	arch = i686
	arch = x86_64
	license = GPL3
	depends = glibc
	depends = gcc-ada>=8.2.1
	depends = gcc-ada<9.0.0
	source = http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a68
	source = http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40
	sha1sums = f2cfc62fc05ae510e7e3aa7138d27ccb38096bdd
	sha1sums = 6b01f6c7ac9d0766320738bef1d32894b34195e8

pkgname = gprbuild-bootstrap