The Package Control Panel

[andylokandy]

This is a special issue that used to publish your package to the elba package index.

How to publish your package

1. Commit and push your package source code (with elba.toml manifest in the root) to a git remote. (e.g. a public Github repo).
2. Comment on this issue like this:

@elba-bot /publish https://github.com/statebox/idris-ct

where you can also specify a git branch/tag/commit like this:

@elba-bot /publish https://github.com/statebox/idris-ct master

3. Then @elba-bot will start the publish process fully automatically.

Ps: If the package has description, homepage or repository fields, those would be shown on the package list.

[oshmkufa2010]

@elba-bot /publish https://github.com/gallais/idris-tparsec

[andylokandy]

@oshmkufa2010 seems that the bot is dead...