NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-1zbaylgk/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/z8bd8ryl2mbzyfbrjx68088cbqf7hpjr-tide-support.drv /nix/store/cxyhnzpgw35w3k61pyl53bai4gfv7nwn-tide-support