Resolving dependencies...
Configuring ghc-paths-0.1.0.9...
Configuring regex-tdfa-1.2.3...
Building regex-tdfa-1.2.3...
Building ghc-paths-0.1.0.9...
Installed ghc-paths-0.1.0.9
Installed regex-tdfa-1.2.3
Downloading egison-3.7.11...
Configuring egison-3.7.11...
Building egison-3.7.11...
Installed egison-3.7.11