NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-9zmphq46/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/gjhvx648vnvasvmnwl8ipb9b7d56zrvx-tide-support.drv /nix/store/4n0mf4g6zaf0rp2j8hy50zk5rj6shihs-tide-support