NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-l6k37qpf/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/4v8fhy844cc4x8fzsby7jlvjvd7kyn1g-tide-support.drv /nix/store/ldrwpakdapkcb9z7f1122564w788949l-tide-support