Resolving dependencies...
Configuring cmdargs-0.10.18...
Configuring leancheck-0.7.0...
Building cmdargs-0.10.18...
Building leancheck-0.7.0...
Installed leancheck-0.7.0
Installed cmdargs-0.10.18
Downloading speculate-0.3.2...
Configuring speculate-0.3.2...
Building speculate-0.3.2...
Installed speculate-0.3.2