Resolving dependencies...
Starting     copilot-core-4.3
Starting     language-bluespec-0.1
Starting     filepath-1.4.301.0
Building     copilot-core-4.3
Building     language-bluespec-0.1
Building     filepath-1.4.301.0
Completed    copilot-core-4.3
Completed    filepath-1.4.301.0
Starting     unix-2.8.6.0
Completed    language-bluespec-0.1
Building     unix-2.8.6.0
Completed    unix-2.8.6.0
Starting     file-io-0.1.5
Building     file-io-0.1.5
Completed    file-io-0.1.5
Starting     directory-1.3.9.0
Building     directory-1.3.9.0
Completed    directory-1.3.9.0
Downloading  copilot-bluespec-4.3
Downloaded   copilot-bluespec-4.3
Starting     copilot-bluespec-4.3
Building     copilot-bluespec-4.3
Completed    copilot-bluespec-4.3