NIXPKG1 http://releases.strategoxt.org/strategoxt-packages/strategoxt-packages-341841/MANIFEST strategoxt-0.17M3pre17690 x86_64-linux /nix/store/zr0lxyq784y3gvinsc1lv20gz9hi3a77-strategoxt-0.17M3pre17690.drv /nix/store/zsipl0m1h3sbzkzzp78pyajq3h8nvf3f-strategoxt-0.17M3pre17690