portage-ng
/
portage
/
sci-mathematics
/
eprover
/
3.2.5
version
«
‹
3.2.5
›
»
graphs
detail
deptree
gantt
cli
--merge
--fetchonly
--info
security
glsa
bugs
legacy
emerge
pmerge
portage-ng gantt
download
fetchonly
install
:update
:reinstall
:downgrade
run
unmask
keyword
useflag
license
BDEPEND
DEPEND
RDEPEND
PDEPEND
IDEPEND
Expand All
Collapse All
Hover
Critical path
Time
USE
▶
+ho
Package
Step 1
Step 2
Step 3
▶
sci-mathematics/eprover-3.2.5
download
install
run
USE
+ho
eprover-3.2.5.tar.gz
1.5 MB
fetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg