NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17662-8n12r4cw/MANIFEST strategoxt-0.17M3pre17662 i686-linux /nix/store/m6iyl3dsz53wn4hgv1y9yngqghjdlh73-strategoxt.drv /nix/store/5qjrh00ilzvkazma3rc1g57xgdqqiady-strategoxt