CarneadesIntoDung-1.0: dependencies

Dependencies for CarneadesIntoDung-1.0

library	base (>=4 && <5) CarneadesDSL (>=1.3) cmdargs (>=0.10.2) containers (>=0.3 && <0.6) Dung (>=1.0.0.1) fgl (>=5.4.2.4)
caell	No dependencies