The latest version of AERN-Real-Double is 2011.1.0.2-0.
exe:testAERN-Real-Double
Dependencies
- AERN-Basics lib:AERN-Basics ==2011.1
- AERN-Real lib:AERN-Real ==2011.1
- AERN-Real-Interval lib:AERN-Real-Interval ==2011.1
- base lib:base >=4 && <5
- test-framework lib:test-framework >=0.2 && <0.4
- test-framework-quickcheck2 lib:test-framework-quickcheck2 >=0.2 && <0.4
Reverse dependencies
None.