Dependencies for AERN-Real-2011.1.0.1

library