aern2-real-0.2.13.0: dependencies

Dependencies for aern2-real-0.2.13.0

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