Package manager for Agda.
Project description
agda-pkg
The next package manager for Agda.
Quick Start
- 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
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 packages 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
installed: False
default: True
Get information of a package
$ apkg info agda-prop
library: agda-prop
sha: 6b2ea8e099ac6968004ec57d96f19b46bcb081ff
description: None
license:
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.5-py2.py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ec1fc12f308900301abfd23aab9e62d7ab33fb51fb365079cd4d800b9b879800 |
|
MD5 | 0b1907dfcc792c1b1bddc9b77b86ef1a |
|
BLAKE2b-256 | fe648802ac84c0f803ee7d6cc0392d0b75fa270a5dcac2ff3cca17697e17ee7c |