Resolving dependencies...
Starting     newtype-generics-0.6.2
Building     newtype-generics-0.6.2
Completed    newtype-generics-0.6.2
Starting     MemoTrie-0.6.11
Building     MemoTrie-0.6.11
Completed    MemoTrie-0.6.11
Downloading  HyloDP-1.0.0
Downloaded   HyloDP-1.0.0
Starting     HyloDP-1.0.0
Building     HyloDP-1.0.0
Completed    HyloDP-1.0.0