NIXPKG1 http://releases.strategoxt.org/stratego-shell/stratego-shell-0.7pre1787917879-iqy4invg/MANIFEST stratego-shell-0.7pre1787917879 x86_64-linux /nix/store/4v8k6g1wkk5vk8rxh9jzg28ndc8qgql0-stratego-shell.drv /nix/store/zdywhis00rpa2v5v3gwcny3rm62860wv-stratego-shell