NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-340088/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/g9rqg0i142xcynmhizhr2pa3bwg5yxdm-stratego-shell-0.7pre1687216872.drv /nix/store/7hcnn12kj4ph2i2q1vp3z8pws3q9410v-stratego-shell-0.7pre1687216872