Resolving dependencies...
Downloading kmp-dfa-0.1.0.0...
Configuring kmp-dfa-0.1.0.0...
Building kmp-dfa-0.1.0.0...
Installed kmp-dfa-0.1.0.0