NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-bnp271h0/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/763lmphai84aixs4k7rc214pgmzz6fq0-stratego-shell.drv /nix/store/219w4r7x3i38z7k2iyqrifzkix41m5sm-stratego-shell