NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17928-xh3vfwwi/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/4y6mlxqpv3n6xm2dglxch7zgxjj9zkab-strategoxt.drv /nix/store/gxb6ylam5qhmh3wzx9vrvsd78zsy6c62-strategoxt