Resolving dependencies... Starting base-orphans-0.9.2 Starting tagged-0.8.8 Starting bytestring-0.12.1.0 Building base-orphans-0.9.2 Building tagged-0.8.8 Building bytestring-0.12.1.0 Completed tagged-0.8.8 Starting boring-0.2.2 Completed base-orphans-0.9.2 Starting some-1.0.6 Building boring-0.2.2 Building some-1.0.6 Completed boring-0.2.2 Completed some-1.0.6 Completed bytestring-0.12.1.0 Starting os-string-2.0.6 Starting binary-0.8.9.2 Building os-string-2.0.6 Building binary-0.8.9.2 Completed os-string-2.0.6 Starting filepath-1.5.3.0 Completed binary-0.8.9.2 Starting text-2.1.1 Building filepath-1.5.3.0 Building text-2.1.1 Completed filepath-1.5.3.0 Completed text-2.1.1 Starting hashable-1.5.0.0 Building hashable-1.5.0.0 Completed hashable-1.5.0.0 Starting constraints-0.14.2 Building constraints-0.14.2 Completed constraints-0.14.2 Starting constraints-extras-0.4.0.1 Building constraints-extras-0.4.0.1 Completed constraints-extras-0.4.0.1 Starting dependent-sum-0.7.2.0 Building dependent-sum-0.7.2.0 Completed dependent-sum-0.7.2.0 Downloading typelits-witnesses-0.4.1.0 Downloaded typelits-witnesses-0.4.1.0 Starting typelits-witnesses-0.4.1.0 Building typelits-witnesses-0.4.1.0 Completed typelits-witnesses-0.4.1.0