1 files changed, 20 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..5a0b406f3522
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+pkgbase = apron-svn
+	pkgdesc = APRON numerical abstract domain library
+	pkgver = 0.9.11.r1104
+	pkgrel = 1
+	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
+