Resolving dependencies...
Starting     data-default-class-0.1.2.0
Starting     bimap-0.3.3
Starting     dlist-1.0
Starting     colour-2.3.5
Building     bimap-0.3.3
Building     data-default-class-0.1.2.0
Building     dlist-1.0
Building     colour-2.3.5
Completed    data-default-class-0.1.2.0
Starting     hashable-1.3.0.0
Building     hashable-1.3.0.0
Completed    bimap-0.3.3
Starting     language-c99-0.1.2
Building     language-c99-0.1.2
Completed    dlist-1.0
Starting     old-locale-1.0.0.7
Building     old-locale-1.0.0.7
Completed    hashable-1.3.0.0
Starting     random-1.1
Completed    old-locale-1.0.0.7
Starting     transformers-compat-0.6.6
Building     random-1.1
Building     transformers-compat-0.6.6
Completed    colour-2.3.5
Starting     xml-1.3.14
Completed    language-c99-0.1.2
Starting     data-default-instances-containers-0.0.1
Building     xml-1.3.14
Building     data-default-instances-containers-0.0.1
Completed    data-default-instances-containers-0.0.1
Starting     data-default-instances-dlist-0.0.1
Building     data-default-instances-dlist-0.0.1
Completed    transformers-compat-0.6.6
Starting     copilot-core-3.2
Completed    random-1.1
Starting     unordered-containers-0.2.13.0
Building     copilot-core-3.2
Building     unordered-containers-0.2.13.0
Completed    data-default-instances-dlist-0.0.1
Starting     data-default-instances-old-locale-0.0.1
Building     data-default-instances-old-locale-0.0.1
Completed    xml-1.3.14
Starting     ansi-terminal-0.9.1
Completed    data-default-instances-old-locale-0.0.1
Starting     language-c99-util-0.1.1
Building     ansi-terminal-0.9.1
Building     language-c99-util-0.1.1
Completed    language-c99-util-0.1.1
Starting     data-default-0.7.1.1
Building     data-default-0.7.1.1
Completed    copilot-core-3.2
Starting     language-c99-simple-0.1.2
Completed    ansi-terminal-0.9.1
Starting     ansi-wl-pprint-0.6.9
Building     language-c99-simple-0.1.2
Building     ansi-wl-pprint-0.6.9
Completed    data-default-0.7.1.1
Starting     copilot-theorem-3.2
Building     copilot-theorem-3.2
Completed    ansi-wl-pprint-0.6.9
Starting     optparse-applicative-0.15.1.0
Completed    language-c99-simple-0.1.2
Starting     copilot-c99-3.2
Building     optparse-applicative-0.15.1.0
Building     copilot-c99-3.2
Completed    unordered-containers-0.2.13.0
Starting     data-reify-0.6.3
Building     data-reify-0.6.3
Completed    copilot-c99-3.2
Completed    data-reify-0.6.3
Completed    copilot-theorem-3.2
Starting     copilot-language-3.2
Building     copilot-language-3.2
Completed    optparse-applicative-0.15.1.0
Completed    copilot-language-3.2
Downloading  copilot-libraries-3.2
Downloaded   copilot-libraries-3.2
Starting     copilot-libraries-3.2
Building     copilot-libraries-3.2
Completed    copilot-libraries-3.2
Downloading  copilot-3.2
Downloaded   copilot-3.2
Starting     copilot-3.2
Building     copilot-3.2
Completed    copilot-3.2