diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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') |