NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-vl97142k/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/xy4z7jb41nz206xa3xlyy09k0kr6hz5i-tide-support.drv /nix/store/r79c7h1155a9fp798mx855pybjjga41g-tide-support