diff options
| author | ambiso | 2018-12-07 15:53:46 +0100 |
|---|---|---|
| committer | ambiso | 2018-12-07 15:53:46 +0100 |
| commit | bcb9d843aec52c7efa30eb0a73103237c4ac7825 (patch) | |
| tree | 666a040c0d600ce3c6919ed51a40ae806b8a0838 /.SRCINFO | |
| parent | d07a7cb0fac52eb81f2a5435c9ee66b155e37b81 (diff) | |
| download | aur-bcb9d843aec52c7efa30eb0a73103237c4ac7825.tar.gz | |
Add msbuild dependency
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 1 |
1 files changed, 1 insertions, 0 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 |