Resolving dependencies...
Configuring cmdargs-0.10.19...
Configuring leancheck-0.7.0...
Building leancheck-0.7.0...
Building cmdargs-0.10.19...
Installed leancheck-0.7.0
Installed cmdargs-0.10.19
Configuring speculate-0.3.2...
Building speculate-0.3.2...
Installed speculate-0.3.2
Downloading extrapolate-0.3.1...
Configuring extrapolate-0.3.1...
Building extrapolate-0.3.1...
Installed extrapolate-0.3.1