Resolving dependencies...
Configuring mtl-2.2.1...
Configuring base-unicode-symbols-0.2.2.4...
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.9...
Building graph-rewriting-0.7.9...
Installed graph-rewriting-0.7.9
Downloading graph-rewriting-strategies-0.2.5...
Configuring graph-rewriting-strategies-0.2.5...
Building graph-rewriting-strategies-0.2.5...
Installed graph-rewriting-strategies-0.2.5