• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for AERN-RnToRm-0.5

Libraries

AERN-RnToRm

• AERN-Real (>=0.10 && <0.10.1)
• base (>=3 && <4)
• binary (>=0.4)
• containers
• directory
• filepath
• html (>=1.0)
• QuickCheck (>=1.2 && <2)
• time