Resolving dependencies...
Starting     colour-2.3.6
Starting     prettyprinter-1.7.1
Starting     transformers-compat-0.7.2
Building     colour-2.3.6
Building     prettyprinter-1.7.1
Building     transformers-compat-0.7.2
Completed    transformers-compat-0.7.2
Completed    colour-2.3.6
Starting     ansi-terminal-types-0.11.5
Building     ansi-terminal-types-0.11.5
Completed    prettyprinter-1.7.1
Completed    ansi-terminal-types-0.11.5
Starting     ansi-terminal-1.0
Building     ansi-terminal-1.0
Completed    ansi-terminal-1.0
Starting     prettyprinter-ansi-terminal-1.1.3
Building     prettyprinter-ansi-terminal-1.1.3
Completed    prettyprinter-ansi-terminal-1.1.3
Starting     optparse-applicative-0.18.1.0
Building     optparse-applicative-0.18.1.0
Completed    optparse-applicative-0.18.1.0
Downloading  agda2lagda-0.2023.6.9
Downloaded   agda2lagda-0.2023.6.9
Starting     agda2lagda-0.2023.6.9
Building     agda2lagda-0.2023.6.9
Completed    agda2lagda-0.2023.6.9