>>> Emerging : portage://sci-mathematics/btor2tools-1.0.0_pre20220518-r1:run?{[]}

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

Calculating dependencies... done!

 └─step  1─┤ download  portage://sci-mathematics/btor2tools-1.0.0_pre20220518-r1
             │           └─ file ─┤ 85.37 Kb  	 btor2tools-1.0.0_pre20220518.tar.gz

Total: 1 action (1 download), grouped into 1 step.
       85.37 Kb to be downloaded.