Dependencies for aern2-real-0.2.16.1

There is a total of 7 dependencies in lts-23.24

<< Return to package page

• aern2-mp-0.2.16.1
• base-4.19.2.0
• collect-errors-0.1.6.0
• hspec-2.11.12
• integer-logarithms-1.0.4
• mixed-types-num-0.6.2
• QuickCheck-2.14.3