NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-ldqgxqxg/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/v0cd49qb3f4c57lz3xvycq3ijlbfpc0q-tide-support.drv /nix/store/s254kf5r6idfgbkxrqrh7ywwm5lln2ya-tide-support