Package manager for Agda.
Project description
agda-pkg
The Agda package manager that we all have been waiting for so long.
Quick Start
We need to have installed Python 3.6+
or a latter version and pip
to install
Python packages.
- Installation from Pypi
$ pip install agda-pkg
- Initialisation of the package index
$ apkg init
Indexing libraries from https://github.com/apkgbot/package-index.git
- Check other options with the help flag
$ apkg --help
- Recall updating the index every once in a while
$ apkg upgrade
Updating Agda-Pkg from https://github.com/apkgbot/package-index.git
If you want to index your library make a PR in the package index
Installation of packages
We have three possibilities to install a package:
- from a local directory
$ apkg install .
- from a github repository
$ apkg install --github agda/agda-stdlib --version v0.16
- from a git repository
$ apkg install http://github.com/jonaprieto/agda-prop.git
- from the package index
$ apkg install standard-library
To see all the options, check out the help:
$ apkg install --help
In addition, you may want to install multiple libraries at once
$ apkg install standard-library agda-prop agda-metis
Uninstalling a package
Uninstall a package by default, just hide the library for Agda but no remove the sources:
$ apkg uninstall standard-library
If you want to remove completely the source and everything, use remove-cache flag.
$ apkg uninstall standard-library --remove-cache
See all the package installed
$ apkg freeze
agda-metis==a8df5b74ea2e0c007f0b7ffe24d440a35e1c6d94
agda-prop==0.1.1
Useful to save the exact versions of your environment:
$ apkg freeze > requirements.txt
Search packages
We make a search (approximate) by using keywords and title of the packages in the index. To perform such a search, see the following example:
$ apkg search metis
1 result in 0.0026731969992397353seg
matches: {'name': [b'agda-metis']}
agda-metis
==========
url: https://github.com/jonaprieto/test-agdapkgbot.git
Get information of a package
$ apkg info agda-prop
library: agda-prop
sha: 6b2ea8e099ac6968004ec57d96f19b46bcb081ff
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for agda_pkg-0.1.8-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9260e0ac65e9ca8afe6b810fff79768d8b08162004e5034a17c828fe5cd4db04 |
|
MD5 | 72ff3c08f0dff146160db62feae2ee6c |
|
BLAKE2b-256 | 68f8e6f387921a6d16e464bd936c73abf4b59b2f2a7913754c61eb557084bf79 |