NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18411-1xd79q3y/MANIFEST strategoxt-0.17pre18411 i686-linux /nix/store/kyhw8vy5qr9qy58k8mkm9i81bwr0j1cj-strategoxt.drv /nix/store/qi27abz7f38idbgldf11inrp6z5fpa9x-strategoxt