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.1.0
Building     optparse-applicative-0.16.1.0
Completed    optparse-applicative-0.16.1.0
Downloading  agda2lagda-0.2021.6.1
Downloaded   agda2lagda-0.2021.6.1
Starting     agda2lagda-0.2021.6.1
Building     agda2lagda-0.2021.6.1
Completed    agda2lagda-0.2021.6.1