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