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

Dependencies for MiniAgda-0.2019.12.13

Executables

miniagda

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