The latest version of AERN-Real is 2011.1.0.1-0.

lib:AERN-Real

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.