NIXPKG1 http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre17928-xgpxz4rm/MANIFEST strategoxt-0.17pre17928 x86_64-linux /nix/store/1gfa8azk9irpxpwyzqbxbbdnwg4nxa14-strategoxt.drv /nix/store/jsncpkr8p03nzg8mx1brshkkkmz7aix1-strategoxt