NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18253-531ii854/MANIFEST strategoxt-0.17pre18253 i686-linux /nix/store/d0f8sv3dqvi9s384530r3wx57sc4vwj1-strategoxt.drv /nix/store/ik8md6nzai0i353p99l539d7k8k2nhm2-strategoxt