.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14

pkgbase = spark2014-bin
	pkgdesc = Formally defined programming language based on Ada (Binary version)
	pkgver = 13.2.0
	pkgrel = 1
	url = https://github.com/alire-project/GNAT-FSF-builds
	arch = x86_64
	license = GPL
	depends = python
	provides = spark2014
	conflicts = spark2014
	source = https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz
	sha256sums = 28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017

pkgname = spark2014-bin