NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18749-48v532hd/MANIFEST strategoxt-0.17pre18749 x86_64-linux /nix/store/m2262qhd14qxd6xg0f5xg5xdnzb4qa0a-strategoxt.drv /nix/store/1mr587fqi0v0mzv7nq75p11bnbkkr1wf-strategoxt