The Package Control Panel

@elba-bot

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

Commit and push your package source code (with elba.toml manifest in the root) to a git remote. (e.g. a public Github repo).
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

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

Provide feedback