NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-w9l0fa9m/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/ab8fhf0nbk0rqiq0s61m02ircdfrgkn5-tide-support.drv /nix/store/59rhhfjdgb0d46zi29ksy374m22fyycq-tide-support