NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18245-m58n96nh/MANIFEST strategoxt-0.17pre18245 x86_64-linux /nix/store/l28j9swnh6xc04rbk8gax2im2p7vgspc-strategoxt.drv /nix/store/7i0wlz4irlah1n8d9g2hahrrylpc8s5d-strategoxt