Reverse dependencies on idris-0.12.2

There is a total of 1 dependencies in nightly-2016-08-31

<< Return to package page