diff options
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -8,6 +8,7 @@ pkgbase = dafny-git license = MIT makedepends = git makedepends = wget + makedepends = msbuild depends = gcc-libs provides = dafny source = dafny-git::git+https://github.com/Microsoft/dafny.git @@ -8,7 +8,7 @@ arch=('i686' 'x86_64') url="https://github.com/Microsoft/dafny.git" license=('MIT') depends=('gcc-libs') -makedepends=('git' 'wget') +makedepends=('git' 'wget' 'msbuild') provides=('dafny') source=("$pkgname"::"git+$url") md5sums=('SKIP') |