Package Details: dafny-bin 3.7.3-1

Git Clone URL: https://aur.archlinux.org/dafny-bin.git (read-only, click to copy)
Package Base: dafny-bin
Description: Dafny is a verification-aware programming language
Upstream URL: https://github.com/dafny-lang/dafny
Licenses: MIT
Conflicts: dafny
Provides: dafny
Submitter: malet
Maintainer: tchajed
Last Packager: tchajed
Votes: 2
Popularity: 0.002969
First Submitted: 2018-11-26 12:50 (UTC)
Last Updated: 2022-08-15 18:58 (UTC)