Resolving dependencies... Starting utf8-string-1.0.1.1 Starting hashable-1.3.0.0 Starting syb-0.7.1 Starting base-unicode-symbols-0.2.4.2 Building hashable-1.3.0.0 Building base-unicode-symbols-0.2.4.2 Building utf8-string-1.0.1.1 Building syb-0.7.1 Completed base-unicode-symbols-0.2.4.2 Completed hashable-1.3.0.0 Starting unordered-containers-0.2.12.0 Completed syb-0.7.1 Building unordered-containers-0.2.12.0 Completed utf8-string-1.0.1.1 Completed unordered-containers-0.2.12.0 Starting uniplate-1.6.12 Building uniplate-1.6.12 Completed uniplate-1.6.12 Downloading hlatex-0.3.2 Downloaded hlatex-0.3.2 Starting hlatex-0.3.2 Building hlatex-0.3.2 Completed hlatex-0.3.2