[]
= "dedukti-parse"
= "0.2.0"
= ["Michael Färber <michael.faerber@gedenkt.at>"]
= "2018"
= "Parser for the Dedukti file format"
= "https://github.com/01mf02/kontroli-rs"
= "GPL-3.0-only"
= ["dependent-types", "rewriting", "dedukti"]
= ["no-std", "parser-implementations"]
[]
= ["itertools"]
[]
= "0.12"
= { = "0.10", = true }