diff options
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 |