Python agda-pkg包_程序模块 - PyPI

AGDA的包装经理

agda-pkg的Python项目详细描述

agda pkg

agda pkg是一个管理agda库的工具，具有如下额外功能从不同来源安装库。这个工具可以根本不修改agda，它只是系统地管理目录 .agda和文件：.agda/defaults和.agda/libraries 阿格达定位图书馆。有关agda包的更多信息系统工作，请阅读官方文件这里

在agda/package-index上，我们是索引一些agda库。要安装库，请运行以下命令 agda pkg安装库名称。下面，你会找到其他方法安装库。

$ apkg list 
Library name         Latest version  URL
---------------------------------------------------------------------------------------------------------
agda-base            v0.2            https://github.com/pcapriotti/agda-base.git
agda-categories      026658c         https://github.com/agda/agda-categories.git
agda-metis           v0.2.1          https://github.com/jonaprieto/agda-metis.git
agda-prelude         64b0eb2         https://github.com/UlfNorell/agda-prelude.git
agda-prop            v0.1.2          https://github.com/jonaprieto/agda-prop.git
agda-real            70b739a0        https://gitlab.com/pbruin/agda-real.git
agda-ring-solver     d1ed21c         https://github.com/oisdk/agda-ring-solver.git
agdarsec             v0.3.0          https://github.com/gallais/agdarsec.git
alga-theory          0fdb96c         https://github.com/algebraic-graphs/agda.git
ataca                a9a7c06         https://github.com/jespercockx/ataca.git
cat                  v1.6.0          https://github.com/fredefox/cat.git
cubical              v0.1            https://github.com/agda/cubical.git
FiniteSets           c8c2600         https://github.com/L-TChen/FiniteSets.git
fotc                 apia-1.0.2      https://github.com/asr/fotc.git
hott-core            1037d82         https://github.com/HoTT/HoTT-Agda.git
hott-theorems        1037d82         https://github.com/HoTT/HoTT-Agda.git
HoTT-UF-Agda         3bdfe5c         https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git
lightweight-prelude  b2d440a         https://github.com/L-TChen/agda-lightweight-prelude.git
MtacAR               mtac1           https://github.com/L-TChen/MtacAR.git
plfa                 1dfd02f         https://github.com/plfa/plfa.github.io.git
routing-library      thesis          https://github.com/MatthewDaggitt/agda-routing.git
standard-library     v1.1            https://github.com/agda/agda-stdlib.git

目录

快速启动
用法包索引的初始化帮助命令升级包索引rel="nofollow">升级包索引列出所有可用的软件包包的安装一次多个包裹卸载包将包更新到最新版本请参阅已安装的软件包包的近似搜索获取包的所有信息
使用agda-pkg创建库 agda库的目录结构 .agda lib library文件 .agda pkg library文件
关于

`快速启动`

要安装agda pkg，必须已安装python 3.6+或更高版本在你的机器上。此外，python包管理器pip3 18.0+（对于python 3）。

我们已经用agda v2.5.4+测试了agda包。

要安装此工具，请运行以下命令：

    $ pip install agda-pkg

现在，我们可以使用命令agda pkg甚至更短的只是apkg

用法

包索引的初始化

安装库的最简单方法是使用.com/agda/package index" rel="nofollow">包索引。 agda pkg使用本地数据库维护所有系统中可用的库。初始化索引和数据库请运行以下命令：

    $ apkg init
    Indexing libraries from https://github.com/agda/package-index.git

注意。为agda文件使用不同的位置默认值 以及库，您可以设置环境变量agda_dir 运行前apkg如下：

    $ export AGDA_DIR=$HOME/.agda

另一种方法是在目录中创建一个目录.agda，然后运行 agda-pkg来自该目录。agda pkg将优先处理.agda 当前目录中的目录。

`帮助命令`

使用标志--help

检查命令或子命令的所有选项 $ apkg --help $ apkg install --help 升级包索引使用upgrade每隔一段时间更新一次索引 $ apkg upgrade Updating Agda-Pkg from https://github.com/agda/package-index.git 如果要为库编制索引，请转到包索引并制作pr 列出所有可用的软件包要查看所有可用的软件包，请运行以下命令： $ apkg list 此命令还具有标志--full以显示此列表包含更多详细信息。安装软件包安装库现在很容易。我们有多种安装软件包的方法。从包索引中 $ apkg install standard-library 从a本地目录 $ apkg install . 或者更简单： $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 0 安装库将在指定的目录中创建agda的副本阿格达包装。如果您希望将当前目录带入对于任何更改，请使用--editable选项。如下所示。 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 1 从github存储库中 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 2 从git存储库中 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 3 要指定库的版本，我们使用标志--version $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 4 或按如下方式使用@或=更简单。 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 5 一次多个包要同时安装多个库，我们有两个选项：使用内联方法 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 6 如果需要特定版本，请使用@或=，请参见上文示例。使用需求文件：使用apkg freeze生成需求文件 $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 7 现在，使用标志-r安装所有列出的库在此文件中： $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 8 使用帮助信息检查此命令的所有选项： $ apkg list Library name Latest version URL --------------------------------------------------------------------------------------------------------- agda-base v0.2 https://github.com/pcapriotti/agda-base.git agda-categories 026658c https://github.com/agda/agda-categories.git agda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git agda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git agda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git agda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git agda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git agdarsec v0.3.0 https://github.com/gallais/agdarsec.git alga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git ataca a9a7c06 https://github.com/jespercockx/ataca.git cat v1.6.0 https://github.com/fredefox/cat.git cubical v0.1 https://github.com/agda/cubical.git FiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git fotc apia-1.0.2 https://github.com/asr/fotc.git hott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git hott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git HoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git lightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git MtacAR mtac1 https://github.com/L-TChen/MtacAR.git plfa 1dfd02f https://github.com/plfa/plfa.github.io.git routing-library thesis https://github.com/MatthewDaggitt/agda-routing.git standard-library v1.1 https://github.com/agda/agda-stdlib.git 9 卸载软件包卸载包将从AGDA的可见库中删除库。使用库的名称 $ pip install agda-pkg 0 从当前目录推断库名称 $ pip install agda-pkg 1 如果我们想完全删除库（源和一切），我们使用标志--remove cache $ pip install agda-pkg 2 将软件包更新到最新版本我们可以从包索引中注册的版本。更新所有已安装的库： $ pip install agda-pkg 3 更新库的特定列表。如果一些未安装库，将安装此命令它的最新版本。 $ pip install agda-pkg 4 见安装的软件包 $ pip install agda-pkg 5 此命令有助于将用于项目的版本保存在文件中以后再安装。 $ pip install agda-pkg 6 要从此需求文件安装，请运行此命令。 $ pip install agda-pkg 7 包的近似搜索我们使用关键字和索引中的包。要执行这样的搜索，请参见以下内容例子： $ pip install agda-pkg 8 获取包的所有信息 $ pip install agda-pkg 9 为agda pkg创建库在本节中，我们将介绍如何构建库。要使用agda pkg构建项目，只需运行以下命令： $ apkg init Indexing libraries from https://github.com/agda/package-index.git 0 为了创建 AGDA和AGDA包所需的文件。输出是如下所示的文件夹。 agda库的目录结构通用AGDA库具有以下结构： $ apkg init Indexing libraries from https://github.com/agda/package-index.git 1 .agda lib库文件 $ apkg init Indexing libraries from https://github.com/agda/package-index.git 2 .agda pkg库文件此文件仅适用于agda pkg。的想法此文件提供有关包，与haskell的阴谋文件非常相似。此文件的优先级高于其版本.agda lib $ apkg init Indexing libraries from https://github.com/agda/package-index.git 3 关于这是agda包管理器概念的证明。我们非常欢迎您为改进这项工作所作的任何贡献或反馈。标签：https git github com pkg 经理 prelude agda 欢迎加入QQ群-->： 979659372 推荐PyPI第三方库 django-cas-mb Django-CAS 1.0/2.0/3.0客户端认证库，支持Django 2.0、2.1、2.2、3.0和python3.5+ TurnonModbusTC Franka Modbus的TurnonTech comics-down 从网站下载漫画的命令行工具。 duetwebapi Duet REST API的Python接口 containerlog 为容器化应用程序优化、自以为是的结构化日志记录。 aserti3416cpp ASERT i3 416 C++包装器 salamandra 描述层次系统的框架 articleparser 从web文章中提取结构化数据。 requests-middleware-ali-hmac 请求中间件生成签名amap apistore altimeter 海王星资源图 torchplus 这个包基于pytorch，并试图为pytorch提供一个用户友好的界面 simran-101703548-na 未提供项目说明 wordtodigits 把单词形式的数字转换成数字 camera-z-transition 这个软件包提供了一种快速简便的方法来估计给定光流下摄像机在z轴上的跃迁。 pyShellyEx Shelly智能家居设备库（修改版）

导航栏项目描述版本历史下载文件项目链接首页标签许可证: BSD许可证（BSD 3条款）作者信息:: 暂无维护者 jonaprieto 最新PyPI项目 italian_vip_says UFx vofs fake_item_generator NerEva django-monologue fio_product_attribute_strict climailsystem pyshape tbb-devel npy-append-arra anthill.tal.macrorenderer odoo11-addon-stock-a uuuu contextil fyl_nester appomatic_renderable teacher chuletas slackbot_ce 最新Python常见问题文本导入时标题行中的特殊字符文本小部件：在没有输入时更新并在循环后保持空闲文本小部件tkin 文本小部件tkinter中的标签更改或文本外观更改是否有撤消功能？文本小部件tkinter复制图像选项文本小部件上的Python Tkinter ttk滚动条未缩放文本小部件上的滚动条可能需要根据制表符ord显示前进行滚动文本小部件不显示lis中的内容文本小部件不显示Unicode字符文本小部件中写入的行间距文本小部件中的文本作为变量文本小部件中的滚动条仅显示在底部文本小部件中的选项卡键空间计数文本小部件作为Lis 文本小部件在主框架中扩展列宽

agda-pkg 0.1.46

agda-pkg的Python项目详细描述

agda pkg

快速启动

用法

包索引的初始化

帮助命令

升级包索引

列出所有可用的软件包

安装软件包

一次多个包

卸载软件包

将软件包更新到最新版本

见安装的软件包

包的近似搜索

获取包的所有信息

为agda pkg创建库

agda库的目录结构

.agda lib库文件

.agda pkg库文件

关于

推荐PyPI第三方库

django-cas-mb

TurnonModbusTC

comics-down

duetwebapi

containerlog

aserti3416cpp

salamandra

articleparser

requests-middleware-ali-hmac

altimeter

torchplus

simran-101703548-na

wordtodigits

camera-z-transition

pyShellyEx

导 航 栏

项目 链接

标 签

维护者

最新PyPI项目

最新Python常见问题

`快速启动`

`帮助命令`

导航栏

项目链接

标签