Resolving dependencies...
Downloading leancheck-0.6.1...
Configuring cmdargs-0.10.15...
Configuring leancheck-0.6.1...
Building cmdargs-0.10.15...
Building leancheck-0.6.1...
Installed leancheck-0.6.1
Installed cmdargs-0.10.15
Downloading speculate-0.2.0...
Configuring speculate-0.2.0...
Building speculate-0.2.0...
Installed speculate-0.2.0