NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18222-xi157j0s/MANIFEST strategoxt-0.17pre18222 i686-linux /nix/store/0h06zrjg4ix5b1a4k7rm4vzjp0pf66l7-strategoxt.drv /nix/store/82v4xw5w93i3ansy65n1zkb9mrilcik2-strategoxt