NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-w9l0fa9m/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/lplb796zxqf0yjafa32sydgrzq7si5qh-tide-support.drv /nix/store/i6ff6fzvvfhy4bcvxwgc3mpi35cn5kgk-tide-support