summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: 8c27f428213d45fa5ccc9d119138d851779a20ca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pkgbase = carl
	pkgdesc = An Open Source C++ Library for Computer Arithmetic and Logic
	pkgver = 17.04.r0.g59185e46
	pkgrel = 1
	url = https://github.com/smtrat/carl
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = make
	makedepends = cmake>=3.0
	depends = gmp>=5.1
	depends = eigen3>=3.2
	depends = boost>=1.55
	source = carl::git+https://github.com/smtrat/carl.git#17.04
	md5sums = SKIP

pkgname = carl