gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny

Dafny is a verification-aware programming language

Screenshots

  • dafny-4.11.0
    amd64
    test debug

    View      Download      Browse     License: Apache-2.0 BSD-2 MIT   
    Overlay: gentoo

Reverse Dependencies

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