portage-ng / portage / sci-mathematics / btor2tools / 1.0.0_pre20220518-r1
version « ‹ 1.0.0_pre20220518-r1 › »
graphs detail deptree gantt
cli --merge --fetchonly --info
security glsa bugs
legacy emerge pmerge
portage-ng deptree
100%
root package
installed
not installed
dependency
weak blocker
strong blocker