NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-jyf4v8f0/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/nx4zg5kbd960f88ikh8s0cac13pyb68z-stratego-shell.drv /nix/store/wxyc6kyisdhbfl1q1rr0na2r5wis36v6-stratego-shell