NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-yadkwihl/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/m4scqmp8i9p8pmg71js0g1zhjlb1isi6-tide-support.drv /nix/store/vqs93y8s3wbmylk8adnzzlf1an2q7h4a-tide-support