PyPI page
Home page
Author:
Jonathan Prieto-Cubides and https://github.com/agda/agda-pkg/graphs/contributors
License:
MIT
Summary:
A package manager for Agda
Latest version:
0.1.51
Required dependencies:
click
|
click-log
|
distlib
|
gitpython
|
humanize
|
jinja2
|
natsort
|
pony
|
ponywhoosh
|
pyyaml
|
requests
|
whoosh
Downloads last day:
50
Downloads last week:
56
Downloads last month:
376