The latest version of idringen is 0.1.0.3-0.

idringen

Version 0.1.0.1 revision 0 uploaded by zjhsdtc.

Package meta

Synopsis
A project manage tool for Idris.
Description

A general purpose project manage tool for Idris programming language.

Author
Zheng Jihui
Bug reports
n/a
Category
Development
Copyright
2016 zjhmale
Homepage
https://github.com/zjhmale/idringen
Maintainer
zjhmale@gmail.com
Package URL
n/a
Stability
n/a

Components