NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17662-g71paich/MANIFEST strategoxt-0.17M3pre17662 x86_64-linux /nix/store/k6cjxn715c976vi4j8hlp7v0yvvsiri7-strategoxt.drv /nix/store/wsqzp6avsqm15m43ng6fswxrnxasa1kr-strategoxt