Gentoo Portage Overlays - dev-lang/dafny-bin

Newest News Repository news GLSAs Browse USE Flags Overlays More...

dev-lang/dafny-bin

Verification-aware programming language

Screenshots

dafny-bin-4.6.0

-* amd64

View

Download

Browse License: MIT

Overlay: gentoo

dafny-bin-4.5.0-r1

-* ~amd64

View

Download

Browse License: MIT

Overlay: gentoo

dafny-bin-4.4.0-r1

-* amd64

View

Download

Browse License: MIT

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Reverse Dependencies

Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.