Skip to main content

Package manager for Agda.

Project description

agda-pkg PyPI version Build Status

agda package manager installation

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.

  1. Installation from Pypi
    $ pip install agda-pkg
  1. Initialisation of the package index
    $ apkg init
    Indexing libraries from https://github.com/apkgbot/package-index.git
  1. Check other options with the help flag
    $ apkg --help
  1. 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:

agda package manager installation

    $ 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

apkg install standard-library

    $ 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


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

agda-pkg-0.1.8.tar.gz (12.6 kB view hashes)

Uploaded Source

Built Distribution

agda_pkg-0.1.8-py2.py3-none-any.whl (19.4 kB view hashes)

Uploaded Python 2 Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page