NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre19210-3wyrxd7y/MANIFEST strategoxt-0.17pre19210 x86_64-linux /nix/store/46m35g3fnq9vn0n24wmg5z5y9a4dapms-strategoxt.drv /nix/store/qwfx5a6hsqppf4fji0s4c3pmiwx5hdcl-strategoxt