Package Details: dafny-bin 2.2.0-1

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