NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18223-jlnq008k/MANIFEST strategoxt-0.17pre18223 x86_64-linux /nix/store/50x364sg5lq6a6jjw7f5x4sbciav04az-strategoxt.drv /nix/store/zg7aalhs4rs04ypk7wb0rvvg912h1v5n-strategoxt