NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17710-na9isjlh/MANIFEST strategoxt-0.17pre17710 i686-linux /nix/store/ca2qqqb9yv27r3l5wcj80vcswgjmywjn-strategoxt.drv /nix/store/s0syz718nkynsyh5mqkzixayp766abn0-strategoxt