NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17707-4g2m7579/MANIFEST strategoxt-0.17M3pre17707 x86_64-linux /nix/store/rihwcnm8wi4kwr0k8nd12iscm0cxspv4-strategoxt.drv /nix/store/5402n9jyds773n8k2qh0934g8xw7zalg-strategoxt