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

Dependencies for aern2-real-0.2.16.1

Libraries

aern2-real

• aern2-mp (>=0.2.16.0)
• base (>=4 && <5)
• collect-errors (>=0.1.5)
• hspec
• integer-logarithms
• mixed-types-num (>=0.6.2)
• QuickCheck