NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-341797/MANIFEST stratego-shell-0.7pre1770517705 x86_64-linux /nix/store/6pz2ly64g1mfq8di9ffqlg1hh4gw4hsr-stratego-shell-0.7pre1770517705.drv /nix/store/2kzin38i99s1882biwjd9v3nzd9s8db9-stratego-shell-0.7pre1770517705