Resolving dependencies...
Configuring leancheck-0.6.5...
Configuring cmdargs-0.10.18...
Building leancheck-0.6.5...
Building cmdargs-0.10.18...
Installed leancheck-0.6.5
Installed cmdargs-0.10.18
Downloading speculate-0.2.9...
Configuring speculate-0.2.9...
Building speculate-0.2.9...
Installed speculate-0.2.9
Downloading extrapolate-0.2.4...
Configuring extrapolate-0.2.4...
Building extrapolate-0.2.4...
Installed extrapolate-0.2.4