Dependencies for idris-0.11.2

There is a total of 42 dependencies in lts-6.11

<< Return to package page