Reverse dependencies on idris-0.12.3

There is a total of 1 dependencies in lts-7.12

<< Return to package page