NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-n0wiqf25/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/4cz1zsg5d5d1z1svygfwx71lf6fcz69k-tide-support.drv /nix/store/c397z9g34bpi9aa3yg4fmb9v3pz6x9r8-tide-support