NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-znc40mni/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/hgw227g2i673gnkz9fda9446c42la9fb-tide-support.drv /nix/store/sr5wv7vabd6ca4l2vzvmx0n2w03q9pic-tide-support