summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO17
1 files changed, 17 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..20849a521ec
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = dafny-git
+ pkgdesc = Dafny is a verification-aware programming language
+ pkgver = v2.2.0.r19.g45af975d
+ pkgrel = 1
+ url = https://github.com/Microsoft/dafny.git
+ arch = i686
+ arch = x86_64
+ license = MIT
+ makedepends = git
+ makedepends = wget
+ depends = gcc-libs
+ provides = dafny
+ source = dafny-git::git+https://github.com/Microsoft/dafny.git
+ md5sums = SKIP
+
+pkgname = dafny-git
+