portage-ng / portage / dev-lang / idris2 / 0.7.0-r2
portage-ng --merge
>>> Emerging : portage://dev-lang/idris2-0.7.0-r2:run?{[]}

These are the packages that would be merged, in order:

Calculating dependencies... done!

 └─step  1─┤ download  portage://app-arch/lz4-1.10.0-r1
             │           └─ file ─┤ 378.04 Kb  	 lz4-1.10.0.tar.gz
             │ download  portage://dev-lang/idris2-0.7.0-r2
             │           └─ file ─┤ 6.66 Mb  	 idris2-0.7.0.tar.gz
             │ download  portage://dev-scheme/chez-10.4.1
             │           └─ file ─┤ 9.14 Mb  	 chez-10.4.1.tar.gz

 └─step  2─┤ install   portage://app-arch/lz4-1.10.0-r1
             │           └─ conf ─┤ USE = "-static-libs -test"
             │                    │ SLOT = "0/1.10.0-meson"

 └─step  3─┤ run       portage://app-arch/lz4-1.10.0-r1

 └─step  4─┤ install   portage://dev-scheme/chez-10.4.1
             │           └─ conf ─┤ USE = "X* ncurses threads"
             │                    │ SLOT = "0/10.4.1"

 └─step  5─┤ run       portage://dev-scheme/chez-10.4.1

 └─step  6─┤ install   portage://dev-lang/idris2-0.7.0-r2
             │           └─ conf ─┤ USE = "chez -doc -minimal -racket -test-full"

 └─step  7─┤ run     portage://dev-lang/idris2-0.7.0-r2

Total: 9 actions (3 downloads, 3 installs, 3 runs), grouped into 7 steps.
       16.17 Mb to be downloaded.


Wall time
0.023 s