NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-c0zmacz6/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/xjdnqi3kb61qnk6ifimji8db4bmv2zij-tide-support.drv /nix/store/241iwbw3aswdnxfvlx4l07np9gf3mxnm-tide-support