NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17928-8yv2v377/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/hafax99d8y78kxaw6z18jh3c4gpg9slb-strategoxt.drv /nix/store/myd1ais2sa5nxshjfm7lym6fgdhvx39p-strategoxt