https://github.com/agda/package-index
A package Index for agda libraries
https://github.com/agda/package-index
agda agda-pkg apkg package-index
Last synced: 5 months ago
JSON representation
A package Index for agda libraries
- Host: GitHub
- URL: https://github.com/agda/package-index
- Owner: agda
- Created: 2017-05-15T22:03:45.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2021-03-14T05:44:31.000Z (over 5 years ago)
- Last Synced: 2025-09-09T00:46:38.068Z (9 months ago)
- Topics: agda, agda-pkg, apkg, package-index
- Homepage:
- Size: 57.6 KB
- Stars: 12
- Watchers: 4
- Forks: 2
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Package Index for Agda Libraries
This repository is an index of libraries for the package manager
[Agda-Pkg](http://github.com/agda/agda-pkg). I do the indexing
manually at the moment, but this can change in the future. The number
of libraries here is still small, and the libraries releases are not very
often.
This is the structure of a library in this index:
```
└── standard-library
├── url
└── versions
├── v1.4
│ ├── sha1
│ └── standard-library.agda-lib
└── v0.5
├── sha1
└── standard-library.agda-lib
```
This index is used by [Agda-Pkg](http://github.com/agda/agda-pkg)
to install automatically the library you want.
```
$ pip3 install agda-pkg
$ apkg init
$ apkg --help
```