portage-ng / portage / sci-mathematics / verifpal / 0.27.0
portage-ng deptree
100%
root package
installed
not installed
dependency
weak blocker
strong blocker