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

Dependencies for CarneadesIntoDung-0.9

Libraries

CarneadesIntoDung

• base (>=4 && <5)
• CarneadesDSL (>=1.2)
• containers (>=0.3 && <0.6)
• Dung (>=0.9)
• fgl (>=5.4.2.4 && <5.5)