Resolving dependencies...
Configuring mtl-2.2.1...
Configuring old-locale-1.0.0.7...
Building mtl-2.2.1...
Building old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring text-1.2.2.1...
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.2...
Building cpphs-1.20.2...
Installed cpphs-1.20.2
Configuring haskell-src-exts-1.17.1...
Building haskell-src-exts-1.17.1...
Installed haskell-src-exts-1.17.1
Downloading MiniAgda-0.2016.12.19...
Configuring MiniAgda-0.2016.12.19...
Building MiniAgda-0.2016.12.19...
Installed MiniAgda-0.2016.12.19