NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-340088/MANIFEST stratego-shell-0.7pre1687216872 i686-linux /nix/store/6jawafvmj9vihdgw9zjb5b15jpyji1x4-stratego-shell-0.7pre1687216872.drv /nix/store/q7yavsygh536s9li67548ik89rari7l5-stratego-shell-0.7pre1687216872