Resolving dependencies...
Starting     copilot-core-4.1
Starting     language-bluespec-0.1
Starting     filepath-1.4.300.2
Building     copilot-core-4.1
Building     language-bluespec-0.1
Building     filepath-1.4.300.2
Completed    copilot-core-4.1
Completed    filepath-1.4.300.2
Starting     unix-2.8.5.1
Completed    language-bluespec-0.1
Building     unix-2.8.5.1
Completed    unix-2.8.5.1
Starting     file-io-0.1.4
Building     file-io-0.1.4
Completed    file-io-0.1.4
Starting     directory-1.3.9.0
Building     directory-1.3.9.0
Completed    directory-1.3.9.0
Downloading  copilot-bluespec-4.1
Downloaded   copilot-bluespec-4.1
Starting     copilot-bluespec-4.1
Building     copilot-bluespec-4.1
Completed    copilot-bluespec-4.1