NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18253-i9sd1ni4/MANIFEST strategoxt-0.17pre18253 x86_64-linux /nix/store/6yrfyv7cmvqkdcn88v70kl6sx5w7q0x3-strategoxt.drv /nix/store/mapdx8dbls40mfl22h3xlbyh34i4g72k-strategoxt