NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-ldqgxqxg/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/rfxmk9ln6qa7fwd67axzwilzs8zqaa2d-tide-support.drv /nix/store/013592897acp1rj9n3abqiyif4hfvdgc-tide-support