gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny

Dafny is a verification-aware programming language

Screenshots

Reverse Dependencies

dev-lang/dafny
dev-lang/dafny-bin
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.