暂无评论
自制AntSwordProject项目 允许您安装AntSwordProject的工具包。 要安装某些东西,请首先brew tap antswordproject/antsword ,然后brew i
wip自述文件 finnaly使依赖关系更好地工作了,但它是所有的一大技巧,将它标记为隐式包装,然后删除了孤儿,但效果很好 安装:基本上以root用户身份运行installer ,它将完成其工作 ##
pkg-mgr:MinGWMSYS环境的软件包管理器
konstrukt-pkman:konstrukt引擎的软件包管理器
mpm:受pip启发的简单Matlab软件包管理
理智的 合理配置的软件包管理器 安装 go get -u github.com/Azer0s/sane 套票清单 sane支持别名。 通过提取别名列表,无需输入存储库的全名。 sane apply A
uspm:Wombat Linux的官方软件包管理器
勒克斯 Shell脚本的软件包管理器。 安装 go get github.com/akornatskyy/lux 或从可用版本中下载二进制文件。 用法 usage: lux [options...]
Gitget git存储库的软件包管理器。 安装 要从pypi安装,请运行: pip3 install gitget-pm 用法 Gitget允许您管理从github或gitlab之类的git主机下载
Agda-pkg是用于管理库的简单工具,它具有其他功能,例如安装来自不同来源的库。 该工具完全不修改Agda ,它只是系统地管理.agda目录, .agda包含.agda/defaults和.agda
暂无评论