NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-9zmphq46/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/z4vnaywqnz6j5z0q1rdpipgg20dwyxj7-tide-support.drv /nix/store/93b9pb5nlc5zy478867jp2d40drp4q9v-tide-support