NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-gi2aj2ha/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/avpqjz1mqb6fjxjd71920cx0wxcqfpxc-tide-support.drv /nix/store/gz8x9c4361x5i61ardcg93bnrbcbaa28-tide-support