Resolving dependencies...
Configuring base-compat-0.10.1...
Building base-compat-0.10.1...
Installed base-compat-0.10.1
Downloading aig-0.2.6...
Configuring aig-0.2.6...
Building aig-0.2.6...
Installed aig-0.2.6