Package Details: dafny-git v2.2.0.r19.g45af975d-1

Git Clone URL: https://aur.archlinux.org/dafny-git.git (read-only)
Package Base: dafny-git
Description: Dafny is a verification-aware programming language
Upstream URL: https://github.com/Microsoft/dafny.git
Licenses: MIT
Provides: dafny
Submitter: crave
Maintainer: crave
Last Packager: crave
Votes: 0
Popularity: 0.000000
First Submitted: 2018-11-26 13:06
Last Updated: 2018-12-07 14:53

Required by (0)

Sources (1)

Latest Comments

crave commented on 2018-12-07 14:54

Should be fixed now!

alexf91 commented on 2018-12-06 08:57

msbuild as a build dependency is missing.