The latest version of aern2-real is 0.2.16.1-0.
test:aern2-real-test
Dependencies
- QuickCheck lib:QuickCheck >=0
- aern2-mp lib:aern2-mp >=0.2.11.0
- aern2-real lib:aern2-real >=0
- base lib:base >=4 && <5
- collect-errors lib:collect-errors >=0.1.5
- hspec lib:hspec >=0
- integer-logarithms lib:integer-logarithms >=0
- mixed-types-num lib:mixed-types-num >=0.5.11
Reverse dependencies
None.