summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO1
1 files changed, 1 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 20849a521ecb..d703a60fb7c1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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