portage-ng / portage / dev-lang / dafny-bin / 4.11.0-r1
portage-ng deptree
100%
root package
installed
not installed
dependency
weak blocker
strong blocker