NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-1zbaylgk/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/3fm5r134zg0yxnjz86yrp0rb28vzndn0-tide-support.drv /nix/store/shbahn0gn7h9yjdwwrfsg9xazpjbkpvv-tide-support