Resolving dependencies...
Configuring ansi-terminal-0.6.3.1...
Configuring base-compat-0.9.3...
Building ansi-terminal-0.6.3.1...
Building base-compat-0.9.3...
Installed ansi-terminal-0.6.3.1
Configuring dlist-0.8.0.4...
Installed base-compat-0.9.3
Configuring pointedlist-0.6.1...
Building dlist-0.8.0.4...
Building pointedlist-0.6.1...
Installed pointedlist-0.6.1
Configuring semigroups-0.18.4...
Installed dlist-0.8.0.4
Configuring terminal-size-0.3.2.1...
Building semigroups-0.18.4...
Building terminal-size-0.3.2.1...
Installed semigroups-0.18.4
Configuring th-abstraction-0.2.6.0...
Building th-abstraction-0.2.6.0...
Installed terminal-size-0.3.2.1
Configuring time-locale-compat-0.1.1.3...
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 th-abstraction-0.2.6.0
Configuring unliftio-core-0.1.1.0...
Installed transformers-compat-0.5.1.4
Configuring utf8-string-1.0.1.1...
Building unliftio-core-0.1.1.0...
Building utf8-string-1.0.1.1...
Installed unliftio-core-0.1.1.0
Configuring uuid-types-1.0.3...
Building uuid-types-1.0.3...
Installed utf8-string-1.0.1.1
Configuring xml-1.3.14...
Building xml-1.3.14...
Installed uuid-types-1.0.3
Configuring ansi-wl-pprint-0.6.8...
Building ansi-wl-pprint-0.6.8...
Installed xml-1.3.14
Configuring transformers-base-0.4.4...
Installed ansi-wl-pprint-0.6.8
Configuring tagged-0.8.5...
Building transformers-base-0.4.4...
Building tagged-0.8.5...
Installed transformers-base-0.4.4
Configuring mmorph-1.1.1...
Building mmorph-1.1.1...
Installed tagged-0.8.5
Configuring exceptions-0.10.0...
Building exceptions-0.10.0...
Installed mmorph-1.1.1
Configuring optparse-applicative-0.13.2.0...
Building optparse-applicative-0.13.2.0...
Installed exceptions-0.10.0
Configuring monad-control-1.0.2.3...
Building monad-control-1.0.2.3...
Installed monad-control-1.0.2.3
Configuring aeson-1.2.3.0...
Installed optparse-applicative-0.13.2.0
Configuring lifted-base-0.2.3.12...
Building aeson-1.2.3.0...
Building lifted-base-0.2.3.12...
Installed lifted-base-0.2.3.12
Configuring resourcet-1.1.11...
Building resourcet-1.1.11...
Installed resourcet-1.1.11
Configuring conduit-1.2.13.1...
Building conduit-1.2.13.1...
Installed conduit-1.2.13.1
Installed aeson-1.2.3.0
Configuring pandoc-types-1.17.4...
Configuring yaml-0.8.25.1...
Building pandoc-types-1.17.4...
Building yaml-0.8.25.1...
Installed pandoc-types-1.17.4
Configuring texmath-0.10.1.1...
Building texmath-0.10.1.1...
Installed yaml-0.8.25.1
Installed texmath-0.10.1.1
Downloading judge-0.1.3.0...
Configuring judge-0.1.3.0...
Building judge-0.1.3.0...
Installed judge-0.1.3.0