NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-dimhsm64/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/v3v3ywn1i9xihyc7jwhay0882h1dkm93-tide-support.drv /nix/store/clf9a48c7fzbc2xffwhv22mp62bqkrl9-tide-support