我已经通过emacs编辑器在Ubuntu系统上安装并能够使用Agda，到目前为止一切似乎都不错。
但是，我无法为其安装和设置标准库。
以下：https://agda.readthedocs.io/en/v2.6.1/getting-started/installation.html我已经尝试过
apt-get install agda-stdlib
有效，但随后我尝试遵循以下步骤：https://agda.readthedocs.io/en/latest/tools/package-system.html并且apt-get似乎要安装agda-stdlib的目录不包含库文件standard-library.agda-lib，仅以下项
代数函数IO.agda关系代数.agda函数.agda IO.agdai Size.agda代数agdai函数agdai级别agda大小agdai分类索引.agda级别.agdai严格.agda协感应agda感应记录agda严格agdaiCoinduction.agdai Induction.agda Record.agdai Universe.agda数据归纳.agdai反射.agda宇宙.agdai国外IO Reflection.agdai
我缺少什么，应该如何进行？
Ubuntu软件包管理器中的Agda和标准库的版本都已过时。因此，请勿将通过Cabal或Stack安装的Agda版本与通过Ubuntu的软件包管理器安装的标准库版本混合使用。相反，您可以在https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary上找到适合您的Agda版本的标准库的正确版本。具体来说，对于Agda 2.6.1，您需要标准库版本1.3，可以从Github安装该库：
git clone https://github.com/agda/agda-stdlib.git
git checkout tags/v1.3
然后按照https://agda.readthedocs.io/en/latest/tools/package-system.html上的说明确保Agda可以找到安装。