obdd-0.8.4: dependencies

Dependencies for obdd-0.8.4

library	array base (>=4 && <5) containers (>=0.5) ersatz mtl process-extras random text