NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-yadkwihl/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/hhpr1vx4n5jzlm6qcqc4ram4axy787ij-tide-support.drv /nix/store/v37279l20zbzqiq3w2j6y9pbr645n3h1-tide-support