NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-dimhsm64/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/q0169r7fcx4g3rp8pwklk6gwyf842rda-tide-support.drv /nix/store/7k9kxxzhysl5rb88ixa7zf3803jn4qfw-tide-support