| Package | Step 1 | Step 2 | Step 3 | Step 4 | Step 5 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| ▶dev-lang/go-bootstrap-1.24.6 | download | install | |||||||||
|
USE
-big-endian
|
|||||||||||
| ▶dev-lang/go-1.27.2 | download | install | |||||||||
|
|||||||||||
| ▶sci-mathematics/verifpal-0.27.0 | download | install | run | ||||||||
|