portage-ng / portage / sci-mathematics / acl2 / 8.5_p20240307-r1

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