NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17664-r77nysmx/MANIFEST strategoxt-0.17M3pre17664 x86_64-linux /nix/store/d51h3ry63nph7gk5an0pycc56qpbrgww-strategoxt.drv /nix/store/9favy6bl3b2jgkglx2rdvf7ga6vrqv2r-strategoxt