NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-q2zp96g9/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/rc84fxbzznvwavgp183bkm8rs2qhw7pb-tide-support.drv /nix/store/s0rkz93r2bbm1ri0kywnjnpnnnmizagi-tide-support