NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-n0wiqf25/MANIFEST tide-support-1.3.1pre26399 x86_64-linux /nix/store/xc5ccdkr19llzyps612grgclrd5shrbd-tide-support.drv /nix/store/q1knry2psn7d5lz17nz5rafwhr5nxjb9-tide-support