obdd-0.8.2: dependencies

Dependencies for obdd-0.8.2

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