# idris2-pack-db

**Repository Path**: a-alpha/idris2-pack-db

## Basic Information

- **Project Name**: idris2-pack-db
- **Description**: idris2-pack-db
- **Primary Language**: Unknown
- **License**: BSD-3-Clause
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2026-02-27
- **Last Updated**: 2026-02-27

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# Curated Package Collections for Idris2

[![Check Collection](https://github.com/stefan-hoeck/idris2-pack-db/actions/workflows/ci-db.yml/badge.svg)](STATUS.md)

These are package collections to be used with the
[pack](https://github.com/stefan-hoeck/idris2-pack) package manager
for Idris2.

In order to add your own package, make sure it builds with HEAD
of the main branch of the Idris2 project and submit a PR with
the package's description added to `collections/HEAD.toml` and
make sure the necessary libraries are installed by adjusting
all three workflows under .github/workflows.

If it builds with Idris without failure, it will be included
in the next nightly release of the package collection. Nightly releases
are generated and checked automatically around 1 am UTC time
by a GitHub action on this repository.

You can see the current package list plus the build status of
all packages [here](STATUS.md).