NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-340029/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/7wfw4l7ykdhj354a7387vg5kn3scy74c-stratego-shell-0.7pre1687216872.drv /nix/store/xpsw3n7lwj49r8as6dfnlddrd9r4i84j-stratego-shell-0.7pre1687216872