agda-pkg

Depends On

• click (click)
• gitpython (gitpython)
• pyyaml (pyyaml)
• pony (pony)
• whoosh (whoosh)
• ponywhoosh (ponywhoosh)
• natsort (natsort)
• click-log (click-log)