Reverse dependencies on idris-0.12.2

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

<< Return to package page