aern2-real-0.2.5.0: dependencies

Dependencies for aern2-real-0.2.5.0

library	aern2-mp (>=0.2.5) base (>=4 && <5) collect-errors (>=0.1.5) hspec integer-logarithms mixed-types-num (>=0.5.5) QuickCheck