NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-4dfhs71q/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/a94b23lqa0i5hvlrjbsxqhc7rgff8b7g-tide-support.drv /nix/store/s8m826649id6fc71wv7zm61vz9bij28k-tide-support