NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-341841/MANIFEST stratego-shell-0.7pre1770517705 x86_64-linux /nix/store/9x41alvqgrx3yclnp1fj6bwk0djyp0gk-stratego-shell-0.7pre1770517705.drv /nix/store/nbay610l5gxq19ifa1shr0scszn70dan-stratego-shell-0.7pre1770517705