NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-fn2y0lm6/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/rm6y5984jvilh8kc78zp2pd5lwnz6xj0-tide-support.drv /nix/store/3i38af2wxa1pxlyji49d6h8vhh0mkvda-tide-support