portage://dev-lang/dafny-bin (1 version)