Build #2 for agda2lagda-0.2020.11.1

[all reports]

Package agda2lagda-0.2020.11.1
Install InstallOk
Docs Ok
Tests NotTried
Time submitted 2020-11-01 00:50:15.088176033 UTC
Compiler ghc-8.10.2
OS linux
Arch x86_64
Dependencies base-4.14.1.0, directory-1.3.6.0, filepath-1.4.2.1, optparse-applicative-0.16.0.0
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Starting     colour-2.3.5
Starting     transformers-compat-0.6.6
Building     colour-2.3.5
Building     transformers-compat-0.6.6
Completed    transformers-compat-0.6.6
Completed    colour-2.3.5
Starting     ansi-terminal-0.11
Building     ansi-terminal-0.11
Completed    ansi-terminal-0.11
Starting     ansi-wl-pprint-0.6.9
Building     ansi-wl-pprint-0.6.9
Completed    ansi-wl-pprint-0.6.9
Starting     optparse-applicative-0.16.0.0
Building     optparse-applicative-0.16.0.0
Completed    optparse-applicative-0.16.0.0
Starting     agda2lagda-0.2020.11.1
Building     agda2lagda-0.2020.11.1
Completed    agda2lagda-0.2020.11.1

Test log

No test log was submitted for this report.