Wheelodex » Projects » agda-pkg

agda-pkg

View on PyPI — Reverse Dependencies (0)

0.1.51 agda_pkg-0.1.51-py2.py3-none-any.whl

Wheel Details

Project: agda-pkg
Version: 0.1.51
Filename: agda_pkg-0.1.51-py2.py3-none-any.whl
Download: [link]
Size: 35957
MD5: 6af6739d07f8eef45b66d3eb586ff545
SHA256: faaeb0ee58a8dd46abff9f6ce1c26858bd6e504bf15835148e19d52c36579c87
Uploaded: 2020-06-01 16:57:18 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: agda-pkg
Version: 0.1.51
Summary: A package manager for Agda
Author: Jonathan Prieto-Cubides and https://github.com/agda/agda-pkg/graphs/contributors
Author-Email: jonathan.cubides[at]uib.no
Home-Page: https://github.com/agda/agda-pkg
License: MIT
Keywords: agda,package-manager,agda-pkg,apkg
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3.6
Platform: any
Requires-Python: >=3.6.0
Requires-Dist: click
Requires-Dist: gitpython
Requires-Dist: pony
Requires-Dist: whoosh
Requires-Dist: ponywhoosh
Requires-Dist: natsort
Requires-Dist: click-log
Requires-Dist: requests
Requires-Dist: humanize
Requires-Dist: Jinja2
Requires-Dist: distlib
Requires-Dist: PyYAML (>=5.1.1)
Description-Content-Type: text/markdown
[Description omitted; length: 12472 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.33.6)
Root-Is-Purelib: true
Tag: py2-none-any
Tag: py3-none-any

RECORD

Path Digest Size
apkg/__init__.py sha256=TFF1HNqviEdhEVwEfAov2b0QRBNgzWoPQ_C4rBOssxA 1498
apkg/__version__.py sha256=eT7c5q_F9Y9NgzWjQAPLW6pY4Sdkm0hJ7EB9-7yp26s 54
apkg/apkg.py sha256=jZm_8L4WHiyfwN_BM3xTt7zwZWTeP_YZGJ4MYvTqfUI 1343
apkg/config.py sha256=KYyn5wXCT4X_5pFNATihhfiCopl19ik8gLZ-16JRJ9E 3199
apkg/commands/__init__.py sha256=VQm-3xKBWXo2FFmTR9YiuxnF4mGHb9CXg41aN9U-CC0 54
apkg/commands/clean.py sha256=AILxD5Cbmu1_eqfMnegmeF7cYpGlZl8erjrYtWoQtos 959
apkg/commands/create.py sha256=yFTUYbPjgirgJf54wvDW6AimDJ8knUwzTgkPAcdAFac 5083
apkg/commands/environment.py sha256=ZgxfD4G34a3UbBgfwFSnmQugIiroZq-UFoZwErbnFIs 2311
apkg/commands/freeze.py sha256=LMQWz6zhWi-Iu_P7D0TWuPBrdQRXfMkB1oWglXRdULc 823
apkg/commands/info.py sha256=S5dJlGwIdIQ-DDf2MzKrOiffwY3c01B0U_MiBxXHogY 1919
apkg/commands/init.py sha256=7kJKC89paPSKT21-mrSrXlUnoo5lKYUtU02JeVPB0vQ 3976
apkg/commands/install.py sha256=0UaOmLSZ_lOOEmim2h-_ThZTUEHC2YQoz0fuAh7U0d8 19435
apkg/commands/list.py sha256=bxcAzqvx_jFQ723rzE45dCKCo70QXj0kfVSiP0Byy_U 3039
apkg/commands/nixos.py sha256=eBeDW7ZYnf0o26sqY7GvdJCJTgHyvZrLRbHKTsy14KQ 1189
apkg/commands/search.py sha256=LUnKQAziRvU3WdbywG2OHHwY7FC2xCXHotLnfhelEL8 2592
apkg/commands/uninstall.py sha256=Jgd5aQLM4PDWDtbCLbj0MAP5irzr0cJ4c2HCe7tJ9TQ 4175
apkg/commands/update.py sha256=5UN7FWMP-IevOFsovcWN7eFViDDbtgMjD5B5UTrFw1g 1456
apkg/commands/upgrade.py sha256=IWCxXZn4zGqRZZHgDqVtzgU2R_y6DkA9f8GtBJFCNWc 805
apkg/commands/write_defaults.py sha256=K_yHvYuIt9TGufCHMXMAF3LpbEHUE6wy6jn2s43fR8w 2574
apkg/commands/templates/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
apkg/commands/templates/gitignore.template sha256=BujqBzwOk_IzPC4dI3toLFbJ0mx-jQc42Ac7wYdwadE 68
apkg/commands/templates/library.agda-lib sha256=k-ZqYuv6itnW2yi0VtBHseWenMfoQB6_fLw2KObNEbo 208
apkg/commands/templates/library.agda-pkg sha256=WNgU0fHSaNW8oqJq7ceNFLS8PD3lAu1vGV4ufF9xRps 1052
apkg/service/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
apkg/service/database.py sha256=c6av6OcR4ox0d07m1bndiwfC1x7Ui1EJw_Rr-qzW1us 10671
apkg/service/logging.py sha256=EavmZ8z2s5oegLY7tYYlEne5eYjhyyS7wgU_wURlsno 121
apkg/service/readLibFile.py sha256=Ip81xiy7BbiLH-LEox44D2slXQeRkZNLF8HCMh9bKiw 2460
apkg/service/utils.py sha256=uaAkOnyATAVMRP8dEtsI7oHkpKD85uvUe-N4KBI8dBI 1177
apkg/support/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
apkg/support/nixos/agda_requirements.txt sha256=XEZOr8YMj2mQ98_GYLbOK7iZ3orxA6_T01EG3EFFRr8 23
apkg/support/nixos/deps.nix sha256=JEAOPknIEVhp9RS3obmRB_qKdXRUpocI5VtmwWpY2I4 462
apkg/support/nixos/emacs.nix sha256=LrQKb0X2tMW5HgxZ9gV75zc-yxVAKWNP-XWpidMA794 814
apkg/support/nixos/hello-world.agda sha256=lxUQfmZ8l_f2vneTJCi7irO_1cte5UFwXgxKPDkNKB8 80
apkg/support/nixos/shell.nix sha256=11KfwkAriJ9IhT6dvuRGp2kF-X9q06rCFvVsfZISCY4 1727
agda_pkg-0.1.51.dist-info/LICENSE sha256=wYRrdt-Y-AX4w6kYlaqVQhAKg_vHeX4TIn82quLoBw8 1160
agda_pkg-0.1.51.dist-info/METADATA sha256=a_soN3hH2HzeGICwAGkHlWPV0XLAdKH-dpY7YbS1Tj8 13385
agda_pkg-0.1.51.dist-info/WHEEL sha256=8zNYZbwQSXoB9IfXOjPfeNwvAsALAjffgk27FqvCWbo 110
agda_pkg-0.1.51.dist-info/entry_points.txt sha256=gx3-rkEAAAdmsgS4sJyqHKbyf20sf9oescHpe6QRWUY 85
agda_pkg-0.1.51.dist-info/top_level.txt sha256=DgL0owF9EJWxCdBLJ7lJDZrDHUbgVk3t1d6_54fjE-k 5
agda_pkg-0.1.51.dist-info/RECORD — —

top_level.txt

apkg

entry_points.txt

[console_scripts]
agda-pkg = apkg.apkg:cli
apkg = apkg.apkg:cli