Resolving dependencies...
Downloading  haskell-src-exts-1.21.1
Downloaded   haskell-src-exts-1.21.1
Starting     haskell-src-exts-1.21.1
Building     haskell-src-exts-1.21.1
Completed    haskell-src-exts-1.21.1
Downloading  MiniAgda-0.2022.3.11
Downloaded   MiniAgda-0.2022.3.11
Starting     MiniAgda-0.2022.3.11
Building     MiniAgda-0.2022.3.11
Completed    MiniAgda-0.2022.3.11