NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-xi8m33yv/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/cdz3jy0rik4fdqybvqacpl64sykj0h66-tide-support.drv /nix/store/qq26mqwn0pjfvawwmpyrnfm3fkhkvih2-tide-support