Resolving dependencies...
Configuring ghc-paths-0.1.0.9...
Configuring regex-tdfa-1.2.2...
Building regex-tdfa-1.2.2...
Building ghc-paths-0.1.0.9...
Installed ghc-paths-0.1.0.9
Installed regex-tdfa-1.2.2
Downloading egison-3.7.10...
Configuring egison-3.7.10...
Building egison-3.7.10...
Installed egison-3.7.10