NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17M3pre17662-4cjkwz42/MANIFEST strategoxt-0.17M3pre17662 x86_64-linux /nix/store/zh4v4bd1wl7hjrkviydr1759mi76s56a-strategoxt.drv /nix/store/ss9048z2ia7rw7lip90sql7niplxzz1v-strategoxt