NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-knaqxr6b/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/yv7rn470kysr26ns2nfxji0xji3y4y6p-tide-support.drv /nix/store/9widv2jlwbafris1v9vv3fv93jnylmbp-tide-support