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

Dependencies for MiniAgda-0.2018.11.6

Executables

miniagda

• array (>=0.3 && <0.6)
• base (>=4.6 && <5)
• containers (>=0.3 && <0.6)
• haskell-src-exts (>=1.20 && <2.0)
• mtl (>=2.2.2 && <2.3)
• pretty (>=1.0 && <1.2)