NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18269-a0f0wy0j/MANIFEST strategoxt-0.17pre18269 x86_64-linux /nix/store/3376ymsmmd39gw3b0r57rzhx4803qa33-strategoxt.drv /nix/store/0zyvv1wfvr3621lf9nvi2h64q37xxyi6-strategoxt