NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18063-v0c7gfli/MANIFEST strategoxt-0.17pre18063 x86_64-linux /nix/store/sdszwjbm47q0wb62gmaw4yyc5drdi5vi-strategoxt.drv /nix/store/d2875ff2z0aszzd0psjn0q7siifj7vmh-strategoxt