blob: ca98dffee016f50b6bd4d059d88c2f2986e4c952 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = apron-svn
pkgdesc = APRON numerical abstract domain library
pkgver = 0.9.11.r1104
pkgrel = 2
url = http://apron.cri.ensmp.fr/library/
arch = i686
arch = x86_64
license = LGPL2
makedepends = svn
makedepends = sed
depends = gmp>=5
depends = mpfr>=3
depends = ppl
provides = apron
conflicts = apron
source = apron-svn::svn://scm.gforge.inria.fr/svnroot/apron/apron/trunk
md5sums = SKIP
pkgname = apron-svn
|