Resolving dependencies...
Configuring random-1.1...
Configuring mtl-2.2.1...
Building random-1.1...
Building mtl-2.2.1...
Installed random-1.1
Installed mtl-2.2.1
Downloading obdd-0.6.1...
Configuring obdd-0.6.1...
Building obdd-0.6.1...
Installed obdd-0.6.1