我已经通过 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 关系 Algebra.agda Function.agda IO.agdai Size.agda Algebra.agdai Function.agdai Level.agda Size.agdai 类别 index.agda Level.agdai Strict.agda Coinduction.agda 归纳 Record.agda Strict.agdai Coinduction.agdai Induction.agda Record.agdai Universe.agda 数据 Induction.agdai Reflection.agda Universe.agdai 外部 IO Reflection.agdai
我缺少什么以及我应该如何进行？