NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-xi8m33yv/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/a312ynd41avw5dx4yzayy0xxyikrb75r-tide-support.drv /nix/store/bl88vwnkasv1398nf8afz9zdyl0sbw7p-tide-support