The latest version of CarneadesIntoDung is 1.0-0.
lib:CarneadesIntoDung
Modules
Dependencies
- CarneadesDSL lib:CarneadesDSL >=1.2
- Dung lib:Dung >=0.9
- base lib:base >=4 && <5
- containers lib:containers >=0.3 && <0.6
- fgl lib:fgl >=5.4.2.4 && <5.5
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything