NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-fn2y0lm6/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/hm79isyz2pl5y50gl3w0mw6b60ky8rpw-tide-support.drv /nix/store/n85589sxjnimhmn74arqsj2d811zgx18-tide-support