NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18253-531ii854/MANIFEST strategoxt-0.17pre18253 x86_64-linux /nix/store/h9cjr537wlv92w9hx1wg5nb0dw6n48k7-strategoxt.drv /nix/store/dcyggr40v5fphcjpzg5qsl8ng7c2njz2-strategoxt