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

Dependencies for smt2-parser-0.1.0.1

Libraries

smt2-parser

• base (>=4.13.0 && <5)
• parsec (>=3.1.14)
• text (>=1.2.4)