Resolving dependencies...
Configuring base-unicode-symbols-0.2.2.4...
Configuring mtl-2.2.1...
Building base-unicode-symbols-0.2.2.4...
Building mtl-2.2.1...
Installed base-unicode-symbols-0.2.2.4
Installed mtl-2.2.1
Downloading graph-rewriting-0.7.10...
Configuring graph-rewriting-0.7.10...
Building graph-rewriting-0.7.10...
Installed graph-rewriting-0.7.10