├── .gitignore ├── .travis.yml ├── LICENSE ├── MANIFIEST.in ├── Makefile ├── README.md ├── apkg ├── __init__.py ├── __version__.py ├── apkg.py ├── commands │ ├── __init__.py │ ├── clean.py │ ├── create.py │ ├── environment.py │ ├── freeze.py │ ├── info.py │ ├── init.py │ ├── install.py │ ├── list.py │ ├── nixos.py │ ├── search.py │ ├── templates │ │ ├── __init__.py │ │ ├── gitignore.template │ │ ├── library.agda-lib │ │ └── library.agda-pkg │ ├── uninstall.py │ ├── update.py │ ├── upgrade.py │ └── write_defaults.py ├── config.py ├── service │ ├── __init__.py │ ├── database.py │ ├── logging.py │ ├── readLibFile.py │ └── utils.py └── support │ ├── __init__.py │ └── nixos │ ├── agda_requirements.txt │ ├── deps.nix │ ├── emacs.nix │ ├── hello-world.agda │ └── shell.nix ├── deploy.py ├── index.html ├── requirements.txt ├── setup.py └── tests ├── basic.py ├── library.agda-lib └── library.agda-pkg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/LICENSE -------------------------------------------------------------------------------- /MANIFIEST.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/MANIFIEST.in -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/README.md -------------------------------------------------------------------------------- /apkg/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/__init__.py -------------------------------------------------------------------------------- /apkg/__version__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/__version__.py -------------------------------------------------------------------------------- /apkg/apkg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/apkg.py -------------------------------------------------------------------------------- /apkg/commands/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/__init__.py -------------------------------------------------------------------------------- /apkg/commands/clean.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/clean.py -------------------------------------------------------------------------------- /apkg/commands/create.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/create.py -------------------------------------------------------------------------------- /apkg/commands/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/environment.py -------------------------------------------------------------------------------- /apkg/commands/freeze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/freeze.py -------------------------------------------------------------------------------- /apkg/commands/info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/info.py -------------------------------------------------------------------------------- /apkg/commands/init.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/init.py -------------------------------------------------------------------------------- /apkg/commands/install.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/install.py -------------------------------------------------------------------------------- /apkg/commands/list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/list.py -------------------------------------------------------------------------------- /apkg/commands/nixos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/nixos.py -------------------------------------------------------------------------------- /apkg/commands/search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/search.py -------------------------------------------------------------------------------- /apkg/commands/templates/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /apkg/commands/templates/gitignore.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/templates/gitignore.template -------------------------------------------------------------------------------- /apkg/commands/templates/library.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/templates/library.agda-lib -------------------------------------------------------------------------------- /apkg/commands/templates/library.agda-pkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/templates/library.agda-pkg -------------------------------------------------------------------------------- /apkg/commands/uninstall.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/uninstall.py -------------------------------------------------------------------------------- /apkg/commands/update.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/update.py -------------------------------------------------------------------------------- /apkg/commands/upgrade.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/upgrade.py -------------------------------------------------------------------------------- /apkg/commands/write_defaults.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/commands/write_defaults.py -------------------------------------------------------------------------------- /apkg/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/config.py -------------------------------------------------------------------------------- /apkg/service/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /apkg/service/database.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/service/database.py -------------------------------------------------------------------------------- /apkg/service/logging.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/service/logging.py -------------------------------------------------------------------------------- /apkg/service/readLibFile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/service/readLibFile.py -------------------------------------------------------------------------------- /apkg/service/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/service/utils.py -------------------------------------------------------------------------------- /apkg/support/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /apkg/support/nixos/agda_requirements.txt: -------------------------------------------------------------------------------- 1 | standard-library==v1.2 2 | -------------------------------------------------------------------------------- /apkg/support/nixos/deps.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/support/nixos/deps.nix -------------------------------------------------------------------------------- /apkg/support/nixos/emacs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/support/nixos/emacs.nix -------------------------------------------------------------------------------- /apkg/support/nixos/hello-world.agda: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/support/nixos/hello-world.agda -------------------------------------------------------------------------------- /apkg/support/nixos/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/apkg/support/nixos/shell.nix -------------------------------------------------------------------------------- /deploy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/deploy.py -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/index.html -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/requirements.txt -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/setup.py -------------------------------------------------------------------------------- /tests/basic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/tests/basic.py -------------------------------------------------------------------------------- /tests/library.agda-lib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/tests/library.agda-lib -------------------------------------------------------------------------------- /tests/library.agda-pkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/agda/agda-pkg/HEAD/tests/library.agda-pkg --------------------------------------------------------------------------------