NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17632-0kfpn71a/MANIFEST strategoxt-0.17M3pre17632 x86_64-linux /nix/store/vd9m46h0cwzvrv5wj5vvxkx1s6d1m6fw-strategoxt.drv /nix/store/d38msixwzqs5m7xxh3s2wbid2pjs84dz-strategoxt