NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-vl97142k/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/zxf17lrd49rxyv2w6vak0mv5i75lhw27-tide-support.drv /nix/store/z2c3wd60rl5dzg0r9hkr5arnbmz9mzzi-tide-support