Resolving dependencies...
Configuring leancheck-0.6.7...
Configuring cmdargs-0.10.18...
Building leancheck-0.6.7...
Building cmdargs-0.10.18...
Installed leancheck-0.6.7
Installed cmdargs-0.10.18
Downloading speculate-0.3.0...
Configuring speculate-0.3.0...
Building speculate-0.3.0...
Installed speculate-0.3.0