Package Details: dafny-bin 3.8.1-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.001357
First Submitted: 2018-11-26 12:50 (UTC)
Last Updated: 2022-09-01 15:23 (UTC)