Resolving dependencies...
Downloading  language-bluespec-0.1
Downloaded   language-bluespec-0.1
Starting     language-bluespec-0.1
Building     language-bluespec-0.1
Completed    language-bluespec-0.1