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

Dependencies for opentheory-1.200

Libraries

opentheory

• base (>=4.0 && <5.0)
• opentheory-primitive (>=1.6 && <2.0)
• QuickCheck (>=2.4.0.1 && <3.0)