summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: abd9c91125793e1746726ac6266531bd5aa7d2cb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
pkgbase = carl-master14-git
	pkgdesc = CArL - the Computer ARithmetic and Logic library (master14 branch)
	pkgver = c++14.18.12.r9.gb9ff46d9
	pkgrel = 1
	url = https://smtrat.github.io/carl
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = cmake
	depends = boost
	depends = eigen
	depends = ginac
	provides = carl-master14
	conflicts = carl
	source = carl-master14-git::git+https://github.com/smtrat/carl.git#branch=master14
	md5sums = SKIP

pkgname = carl-master14-git