NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339716/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/8jfqh2bhwaj3ackssiy5fci0a0sdz1bg-stratego-shell-0.7pre1687216872.drv /nix/store/25ypmqz4w3k78g40ckljfbwkhkypwb5c-stratego-shell-0.7pre1687216872