sci-mathematics/stp – Gentoo Packages

sci-mathematics/stp-2.3.3-r2 help2man: can't get `--help' info from /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp
895770 - Assigned to Gentoo musl team
sci-mathematics/stp-2.3.4 fails tests: 9 - StrengthReduction_TestTests-gtest (Subprocess aborted)
942340 - Assigned to Jeffrey Lin

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs: