portage-ng / portage / sci-mathematics / alt-ergo / 2.4.3-r3

portage-ng detail
100%
Legend: +flag -flag any_of all_of exactly_one_of at_most_one_of weak blocker strong blocker candidate installed