NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18218-3gxzn1qk/MANIFEST strategoxt-0.17pre18218 x86_64-linux /nix/store/bg1dv6xn22yqcw437cp2720f0x6hl0jg-strategoxt.drv /nix/store/pns1gxr1l8r6q0dnk7ki1yfyv1c4kc2k-strategoxt