README.md
setup.py
agda_pkg.egg-info/PKG-INFO
agda_pkg.egg-info/SOURCES.txt
agda_pkg.egg-info/dependency_links.txt
agda_pkg.egg-info/entry_points.txt
agda_pkg.egg-info/not-zip-safe
agda_pkg.egg-info/requires.txt
agda_pkg.egg-info/top_level.txt
src/__init__.py
src/apkg.py
src/config.py
src/commands/__init__.py
src/commands/clean.py
src/commands/create.py
src/commands/freeze.py
src/commands/info.py
src/commands/init.py
src/commands/install.py
src/commands/list.py
src/commands/search.py
src/commands/uninstall.py
src/commands/update.py
src/commands/upgrade.py
src/service/__init__.py
src/service/database.py
src/service/logging.py
src/service/readLibFile.py
src/service/utils.py
src/service/writeAgdaDirFiles.py