summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: c68004d70ad0042051696eaeffc15f3cc3294585 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
pkgbase = polylib-git
	pkgdesc = A library of polyhedral functions
	pkgver = 5.22.09a1d8f
	pkgrel = 1
	url = http://icps.u-strasbg.fr/polylib/
	arch = i686
	arch = x86_64
	license = GPL
	makedepends = git
	depends = gmp
	source = polylib-git::git+https://github.com/vincentloechner/polylib.git
	md5sums = SKIP

pkgname = polylib-git
	provides = polylib=5.22.09a1d8f
	conflicts = polylib

pkgname = polylib-gmp-git
	depends = polylib=5.22.09a1d8f
	provides = polylib-gmp=5.22.09a1d8f
	conflicts = polylib-gmp