NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-xk65qaqa/MANIFEST tide-support-1.3.1pre26399 i686-darwin /nix/store/sgm1k8d33k67lp939kp1pg89g2bzk886-tide-support.drv /nix/store/3x4yb6wj0g8h752d7mypg35xz7bklh5i-tide-support