portage-ng / portage / dev-lang / idris2 / 0.7.0-r2
portage-ng gantt
USE ▶ +chez -doc -minimal -racket -test-full
Package Step 1 Step 2 Step 3 Step 4 Step 5 Step 6 Step 7
▶app-arch/lz4-1.10.0-r1 download install run
USE
-static-libs -test
lz4-1.10.0.tar.gz378 KBfetch
▶dev-scheme/chez-10.4.1 download install run
USE
+X +ncurses +threads
chez-10.4.1.tar.gz9.1 MBfetch
▶dev-lang/idris2-0.7.0-r2 download install run
USE
+chez -doc -minimal -racket -test-full
idris2-0.7.0.tar.gz6.7 MBfetch
download
install / :update / :reinstall / :downgrade
run
unmask
keyword
useflag
BDEPEND
DEPEND
RDEPEND
RDEPEND (ignored)
PDEPEND
IDEPEND
same pkg