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

Dependencies for mprover-0.0.0.0

Executables

mp

• base (<6)
• containers (>=0.4.0.0)
• haskell98
• mtl (>=2.0.1.0)
• parsec (>=3.1.1)
• pretty (>=1.0.1.2)
• transformers (>=0.2.2.0)
• unbound (>=0.3.1)