Reverse dependencies on idris-0.11.2

There is a total of 1 dependencies in lts-6.35

<< Return to package page