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
Configuring graph-rewriting-0.7.10...
Building graph-rewriting-0.7.10...
Installed graph-rewriting-0.7.10
Downloading graph-rewriting-strategies-0.2.6...
Configuring graph-rewriting-strategies-0.2.6...
Building graph-rewriting-strategies-0.2.6...
Installed graph-rewriting-strategies-0.2.6