NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-339716/MANIFEST stratego-shell-0.7pre1687216872 i686-linux /nix/store/3cqlqpbzjs81wrjnag28ml3ipna1iba5-stratego-shell-0.7pre1687216872.drv /nix/store/s55jx9b2m2hhmfhr15bix6aw2iv9rm3j-stratego-shell-0.7pre1687216872