mprover-0.0.0.0: dependencies

Dependencies for mprover-0.0.0.0

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)