NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-343610/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/4clzl7anj6kqs25l7hqmhjaanj5qf558-stratego-shell-0.7pre1787917879.drv /nix/store/rm5v886p4d3h6v0cl3qbfahblpfb10ws-stratego-shell-0.7pre1787917879