NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-xk65qaqa/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/dffbnsvn5ilsnvc1v3f615rfws2fh068-tide-support.drv /nix/store/pzjzd1sxfdkav65i3ldpprfaqjh37382-tide-support