Metadata-Version: 2.5
Name: agdapm
Version: 0.0.1
Summary: A small package manager for Agda
Author-email: Demetrius <illegalbassmedicine@proton.me>
License-Expression: MIT
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
Description-Content-Type: text/markdown

# Agdapm
A small package manager for Agda that generates defaults and libraries files.

This was made out of my personal frustration so it's only tested on my Windows machine. 

Run ```py .\meta.py init```, then ``` py .\meta.py install ``` followed by a Git repository. 

Example usage: ``` py .\meta.py install https://github.com/agda/agda-categories ```

It should then rebuild your defaults and config. It'll store the repository content in a default directory the tool will generate (~/.agdapm or AppData\Roaming\agdapm) and link the configs to it.

The install command can also take in ZIP files of a library.