Resolving dependencies...
Configuring old-locale-1.0.0.7...
Configuring mtl-2.2.1...
Building old-locale-1.0.0.7...
Building mtl-2.2.1...
Configuring text-1.2.2.1...
Installed old-locale-1.0.0.7
Building text-1.2.2.1...
Configuring old-time-1.1.0.3...
Installed mtl-2.2.1
Building old-time-1.1.0.3...
Installed old-time-1.1.0.3
Installed text-1.2.2.1
Configuring polyparse-1.12...
Building polyparse-1.12...
Installed polyparse-1.12
Configuring cpphs-1.20.3...
Building cpphs-1.20.3...
Installed cpphs-1.20.3
Configuring haskell-src-exts-1.17.1...
Building haskell-src-exts-1.17.1...
Installed haskell-src-exts-1.17.1
Configuring MiniAgda-0.2017.2.18...
Building MiniAgda-0.2017.2.18...
Installed MiniAgda-0.2017.2.18