NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18753-7qi9fyh7/MANIFEST strategoxt-0.17pre18753 x86_64-linux /nix/store/j7hcyrcl1j96pcaim6y8kiw50grmi3x8-strategoxt.drv /nix/store/5dlzgl8cvhg8my588s18b58hhwlf0lz7-strategoxt