Resolving dependencies...
Configuring dlist-0.8.0.4...
Configuring base-compat-0.9.3...
Building base-compat-0.9.3...
Building dlist-0.8.0.4...
Installed dlist-0.8.0.4
Configuring th-abstraction-0.2.6.0...
Installed base-compat-0.9.3
Configuring time-locale-compat-0.1.1.3...
Building th-abstraction-0.2.6.0...
Building time-locale-compat-0.1.1.3...
Installed time-locale-compat-0.1.1.3
Configuring transformers-compat-0.5.1.4...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring uuid-types-1.0.3...
Installed th-abstraction-0.2.6.0
Configuring xml-1.3.14...
Building uuid-types-1.0.3...
Building xml-1.3.14...
Installed uuid-types-1.0.3
Configuring tagged-0.8.5...
Building tagged-0.8.5...
Installed xml-1.3.14
Installed tagged-0.8.5
Configuring aeson-1.2.3.0...
Building aeson-1.2.3.0...
Installed aeson-1.2.3.0
Configuring pandoc-types-1.17.3.1...
Building pandoc-types-1.17.3.1...
Installed pandoc-types-1.17.3.1
Downloading texmath-0.10.1.1...
Configuring texmath-0.10.1.1...
Building texmath-0.10.1.1...
Installed texmath-0.10.1.1