NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339719/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/bskc2cvzhkwm8dx6w1vmbpbn82mkpand-stratego-shell-0.7pre1687216872.drv /nix/store/8z1lf48010l63qxzdbdip9lnq5da32km-stratego-shell-0.7pre1687216872