NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-znc40mni/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/q3dfc77zcyl6s629dl8liyiwi7ijwhfc-tide-support.drv /nix/store/vn7nrjczgh1m67vcc745vgaj5q9v32ck-tide-support