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.7-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f978997b7b6e9aa87be27b444a414f9ec203133935bd40b9fb13fbf3cf8275bf |
|
MD5 | d42aad63d8668518236fb5d152586898 |
|
BLAKE2b-256 | af5fcd8836390e02af1465fcf3982da6bd5fafecaf92ff9cd7dafc53da6893d2 |