NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18307-dla3s6gy/MANIFEST strategoxt-0.17pre18307 i686-linux /nix/store/cd1n77a4356bw282pdkvj07cf9wdb9ja-strategoxt.drv /nix/store/5gh1y37z9fzf6y2z19lmbwcgskmq2wvb-strategoxt