NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-knaqxr6b/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/xd7z4wh6bj4s42rmf2anfz2fddjq25hl-tide-support.drv /nix/store/zf9ljd422advsk4910qh0k0z5m3hgk4p-tide-support