NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-q2zp96g9/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/nlsfz2gqzyc9cl63zz5a0aqv7l0nl376-tide-support.drv /nix/store/2d746v1bhmmmmjsl3328l44qizdx5fi8-tide-support