.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

pkgbase = sollya-git
	pkgdesc = A tool environment and a library for safe floating-point code development
	pkgver = v1208.gad49ac94
	pkgrel = 1
	url = https://gitlab.inria.fr/sollya/sollya.git
	arch = any
	license = CeCILL-C
	depends = gmp
	depends = mpfr
	depends = mpfi
	depends = libxml2
	depends = fplll
	optdepends = gnuplot: for using the plot and externalplot commands
	provides = sollya
	conflicts = sollya
	source = git+https://gitlab.inria.fr/sollya/sollya.git
	md5sums = SKIP

pkgname = sollya-git