Resolving dependencies... Configuring primitive-0.6.2.0... Configuring mtl-2.2.1... Building mtl-2.2.1... Building primitive-0.6.2.0... Installed mtl-2.2.1 Configuring safe-0.3.15... Building safe-0.3.15... Installed primitive-0.6.2.0 Configuring syb-0.7... Installed safe-0.3.15 Building syb-0.7... Configuring th-lift-0.7.7... Building th-lift-0.7.7... Configuring text-1.2.2.2... Installed th-lift-0.7.7 Configuring vector-0.12.0.1... Installed syb-0.7 Building text-1.2.2.2... Building vector-0.12.0.1... Installed text-1.2.2.2 Configuring th-expand-syns-0.4.3.0... Building th-expand-syns-0.4.3.0... Installed th-expand-syns-0.4.3.0 Configuring th-reify-many-0.1.8... Building th-reify-many-0.1.8... Installed th-reify-many-0.1.8 Installed vector-0.12.0.1 Configuring th-lift-instances-0.1.11... Building th-lift-instances-0.1.11... Installed th-lift-instances-0.1.11 Configuring th-orphans-0.13.4... Building th-orphans-0.13.4... Installed th-orphans-0.13.4 Configuring th-desugar-1.6... Building th-desugar-1.6... Installed th-desugar-1.6 Configuring singletons-2.2... Building singletons-2.2... Installed singletons-2.2 Downloading mathflow-0.1.0.0... Configuring mathflow-0.1.0.0... Building mathflow-0.1.0.0... Installed mathflow-0.1.0.0