This is the repository for elba's default package index. It's totally hosted on Github and maintained by @elba-bot, which means that even if @elba-bot fails and is offline, the packages will still exist and the index will continue to work.
If you'd like to upload a package, see The Package Control Panel, and if you want to learn more about package indices, see Documentation.
marcesquerra/idristest 0.1.4A testing framework for idris @marcesquerra