NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-gi2aj2ha/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/1hzc9v8mnmm01rqm0s5b8nqd96vfq0z1-tide-support.drv /nix/store/z6zrwj26cvh2p6fq6bir5fdf2hml5hrp-tide-support