Reverse dependencies on idris-0.12.3

There is a total of 1 dependencies in lts-7.7

<< Return to package page