NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-xk65qaqa/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/xm347yk34qdkln4wgijkswi682k3ff0v-tide-support.drv /nix/store/1sq3ic92x059qqp5iv9b5dlzl6gf72ps-tide-support