NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-340065/MANIFEST stratego-shell-0.7pre1687216872 x86_64-linux /nix/store/8xiz96mpnzmciln12bgczvbalm1f22n0-stratego-shell-0.7pre1687216872.drv /nix/store/20xwf0ziaj8q681nd8qn387c6f4bva11-stratego-shell-0.7pre1687216872