NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-7flahjzc/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/jydmkbp39khi1vb3iqrv6shm67wgzdc8-tide-support.drv /nix/store/kjyldqqpyjv3z5z79ixfy02n0pcyabwl-tide-support