NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-4dfhs71q/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/xhdwzq7383vja5fg9ndz9nn2r8jzp7xq-tide-support.drv /nix/store/yp4rbk1fzzpic81lr8016jb13yk1gji4-tide-support