portage-ng / portage / sci-mathematics / prover9 / 2009.11a-r2
version « ‹ 2009.11a-r2 › »
graphs detail deptree gantt
cli --merge --fetchonly --info
security glsa bugs
legacy emerge pmerge
portage-ng gantt
USE ▶ -examples
Package Step 1 Step 2 Step 3
▶sci-mathematics/prover9-2009.11a-r2 download install run
USE
-examples
LADR-2009-11A-makefile.patch.xz4 KBfetch
LADR-2009-11A.tar.gz1.7 MBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg