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

Dependencies for opentheory-parser-1.160

Libraries

opentheory-parser

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