NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18414-q03zqv4q/MANIFEST strategoxt-0.17pre18414 i686-linux /nix/store/zp5qpc28gvvy6b8w6rz258wqc9hqdzzy-strategoxt.drv /nix/store/lkmby59krnja0r4h8b8ivfkfyn3n7ki7-strategoxt