1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..bde46b6d97bc
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = apron-git
+	pkgdesc = The Apron Numerical Abstract Domain Library
+	pkgver = r237.9ad5af8
+	pkgrel = 1
+	url = https://github.com/antoinemine/apron
+	arch = any
+	license = LGPL
+	depends = gmp
+	depends = mpfr
+	depends = ppl
+	provides = apron
+	conflicts = apron
+	source = git://github.com/antoinemine/apron.git
+	sha256sums = SKIP
+	sha512sums = SKIP
+
+pkgname = apron-git
+