NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17859-51aknsnh/MANIFEST strategoxt-0.17pre17859 x86_64-linux /nix/store/xxil0m6przrkl6x8pi9d501gah53kwsd-strategoxt.drv /nix/store/axjcyg7sl173sm04lspjjf4wrnyms8bf-strategoxt