NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339783/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/d8fi5lhw8hryynqc2v5gqavd10k6wjpc-stratego-shell-0.7pre1687216872.drv /nix/store/2a0flx4aza9dk27jzcvsc5rpvg1xagxn-stratego-shell-0.7pre1687216872