NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-l6k37qpf/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/ddx7xrg9xawnz4nbkrmsnrj09pwcb2lg-tide-support.drv /nix/store/nqllgirabdgwb3hlinq9z4d7zmbrr0rw-tide-support