NIXPKG1 http://releases.strategoxt.org/tide-support-with-aterm64/tide-support-1.3.1pre26399-1zbaylgk/MANIFEST tide-support-1.3.1pre26399 i686-linux /nix/store/sgaariyqf5m09lf2i7x72sap26arq03y-tide-support.drv /nix/store/r8h3jrvqkg3fpqqigicz393z5hk6gmp4-tide-support