文件名称：agda-pkg：apkg-Agda的软件包管理器
文件大小：41KB
文件格式：ZIP
更新时间：2024-02-23 19:57:16
package-manager agda lightweight-dependency-management PackagemanagerPython
Agda-pkg是用于管理库的简单工具，它具有其他功能，例如安装来自不同来源的库。 该工具完全不修改Agda ，它只是系统地管理.agda目录， .agda包含.agda/defaults和.agda/libraries文件，这些文件由Agda用于查找可用的库。 有关Agda软件包系统如何工作的更多信息，请在阅读官方文档。 快速开始 agda-pkg的最常见用法如下： 要安装Agda-pkg只需运行以下命令： $ pip3 install agda-pkg 要安装您的库，请转到源代码的根目录并运行： $ apkg install --editable . 要从安装库。 $ apkg init $ apkg install standard-library $ apkg install plfa@dev-20.07 要安装具有特定版本的Github存储库： $ apkg install --github agda/agda-stdlib --version v1.3 要从Github存储库安装具有特定分支的库，该分支具有特定的库名称： $ apkg install
【文件预览】：
agda-pkg-master
----.gitignore(865B)
----README.md(12KB)
----tests()
--------library.agda-pkg(458B)
--------library.agda-lib(94B)
--------basic.py(562B)
----LICENSE(1KB)
----deploy.py(780B)
----requirements.txt(141B)
----apkg()
--------apkg.py(1KB)
--------support()
--------config.py(3KB)
--------__init__.py(1KB)
--------__version__.py(54B)
--------service()
--------commands()
----setup.py(2KB)
----.travis.yml(286B)
----MANIFIEST.in(465B)
----index.html(2KB)
----Makefile(4KB)