NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-dimhsm64/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/9g6gx0748h51flcf3w68gq81xzlj8s83-tide-support.drv /nix/store/jv9g7s4yi4rkahn5df7v5zjwj89g12n7-tide-support