.SRCINFO


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

pkgbase = dafny-git
	pkgdesc = Dafny is a verification-aware programming language
	pkgver = v3.0.0.rpre.rrelease.r1.r256.rgd25ae257
	pkgrel = 1
	url = https://github.com/Microsoft/dafny.git
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = wget
	makedepends = msbuild
	depends = gcc-libs
	provides = dafny
	source = dafny-git::git+https://github.com/Microsoft/dafny.git
	md5sums = SKIP

pkgname = dafny-git