NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18307-dla3s6gy/MANIFEST strategoxt-0.17pre18307 x86_64-linux /nix/store/q55g4ll8vic809k15sir3az6kvgbvc1b-strategoxt.drv /nix/store/wygz64zvvhzld0zhv29kgvxhfxmrra7h-strategoxt