Resolving dependencies...
Downloading  countable-1.2
Starting     type-equality-1
Starting     transformers-compat-0.7.2
Starting     hashable-1.4.1.0
Downloaded   countable-1.2
Starting     countable-1.2
Building     type-equality-1
Building     transformers-compat-0.7.2
Building     hashable-1.4.1.0
Building     countable-1.2
Completed    type-equality-1
Completed    countable-1.2
Completed    transformers-compat-0.7.2
Completed    hashable-1.4.1.0
Starting     constraints-0.13.4
Building     constraints-0.13.4
Completed    constraints-0.13.4
Downloading  witness-0.6.1
Downloaded   witness-0.6.1
Starting     witness-0.6.1
Building     witness-0.6.1
Completed    witness-0.6.1