blob: d703a60fb7c1053fc6d0d270ac6368528e14c0ef (
plain)
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 = 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
makedepends = msbuild
depends = gcc-libs
provides = dafny
source = dafny-git::git+https://github.com/Microsoft/dafny.git
md5sums = SKIP
pkgname = dafny-git
|