Resolving dependencies...
Starting     hashable-1.4.1.0
Building     hashable-1.4.1.0
Completed    hashable-1.4.1.0
Downloading  language-sygus-0.1.1.3
Downloaded   language-sygus-0.1.1.3
Starting     language-sygus-0.1.1.3
Building     language-sygus-0.1.1.3
Completed    language-sygus-0.1.1.3