要解决"agda-mode在任何版本的emacs上都无法安装"的问题，可以尝试以下解决方法：

1. 确保安装了Agda：在终端中运行命令agda --version，如果能够正确显示Agda的版本号，则表示已成功安装了Agda。如果没有安装Agda，请根据您的操作系统下载和安装Agda。

2. 确保安装了Emacs：同样，在终端中运行命令emacs --version，如果能够正确显示Emacs的版本号，则表示已成功安装了Emacs。如果没有安装Emacs，请根据您的操作系统下载和安装Emacs。

3. 安装agda-mode：打开Emacs，进入M-x（按下Alt和x键），然后输入package-install，按下回车。在弹出的提示框中输入agda2-mode，然后按下回车进行安装。如果无法正常安装，请尝试添加MELPA源，以便从Emacs包管理器中获取最新版本的agda-mode。

   添加MELPA源的步骤如下：

   • 打开Emacs，并进入M-x。
   • 输入package-install，按下回车。
   • 在弹出的提示框中输入package-refresh-contents，按下回车进行刷新。
   • 输入package-install，按下回车。
   • 在弹出的提示框中输入agda2-mode，按下回车进行安装。

4. 配置Emacs：在Emacs的配置文件中添加以下代码，以确保正确加载agda-mode。

   (load-file (let ((coding-system-for-read 'utf-8))
               (shell-command-to-string "agda-mode locate")))
   

   保存配置文件，然后重新启动Emacs。

5. 检查环境变量：确保在系统的环境变量中正确设置了Agda和Emacs的路径。您可以通过在终端中运行echo $PATH来检查环境变量。如果路径不正确，请通过编辑.bash_profile（在Mac和Linux上）或Environment Variables（在Windows上）来添加正确的路径。

以上是一些常见的解决方法，可以尝试逐一排除问题并解决安装agda-mode的困扰。如果问题仍然存在，请提供更多详细信息，以便我们可以更好地帮助您解决问题。